Guarded recursive datatype constructors

By Hongwei Xi, Chiyan Chen, Gang Chen. ACM-SIGACT Symposium on Principles of Programming Languages, 2003

339 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/c1fa6bcbe90a376f11187ed74ad97192eac0a731

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Paul Hudak
2. Philip Wadler
3. Simon L. Peyton Jones
4. John Hughes
5. G. Mainland
6. Matt Welsh
7. Greg Morrisett

In Computational Theory and Mathematics

1. John Hughes
2. Simon L. Peyton Jones
3. Paul Hudak
4. Philip Wadler
5. G. Mainland
6. Matt Welsh
7. Greg Morrisett

Citations in the corpus

• Flask (2008, methodology): “A middle-ground solution would be to reflect the object language’s types as Haskell types and then encode the object language’s abstract syntax using GADTs (Xi et al. 2003; Jones et al. 2006).”
• A history of Haskell: being lazy with class (2007, background): “security constraints), and modelling objects (Hinze, 2003; Xi et al., 2003; Cheney and Hinze, 2003; Sheard and Pasalic, 2004; Sheard, 2004).”