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

157 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
168 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986
413 Proof of correctness of data representations – C A R Hoare - 1972
37 Type Checking with Open Type Functions – Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
106 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
3 Fission for Program Comprehension. Pages 162–179 of: Uustalu, Tarmo (ed – Jeremy Gibbons - 2006
3 Calculating an Exceptional Machine. Loidl, HansWolfgang (ed), Trends in Functional Programming volume 5 – Graham Hutton, Joel Wright - 2006
3 Modular Monad Transformers. Pages 64–79 of – Mauro Jaskelioff - 2009
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
105 Unboxed values as first class citizens in a non-strict functional language – Simon L Peyton Jones, John Launchbury - 1991
91 Haskell 98 language and libraries: the Revised Report – Peyton Jones, S - 2003