Foundations for structured programming with GADTs (2008)

Cached

Download Links

by Patricia Johann
Venue:Conference record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:22 - 4 self

Documents Related by Co-Citation

234 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
157 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
36 Data types à la carte – Wouter Swierstra
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
130 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
103 Phantom Types – James Cheney, Ralf Hinze - 2003
25 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
105 Data structures and program transformation – G Malcolm - 1990
18 Complete and decidable type inference for GADTs – Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis - 2009
92 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002
733 Notions of Computation and Monads – Eugenio Moggi - 1991
27 A completion-based method for mixed universal and rigid E-unification – Bernhard Beckert - 1994
156 Type classes with functional dependencies – Mark P. Jones - 2000
174 Template Meta-programming for Haskell – Tim Sheard, Simon Peyton Jones - 2002
171 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007