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

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
92 98 Language and Libraries: The Revised Report – Peyton Jones, S Haskell - 2003
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
418 Proof of correctness of data representations – C A R Hoare - 1972
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
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
41 Programming in Haskell – G Hutton - 2007
107 Unboxed values as first class citizens in a non-strict functional language – Simon L Peyton Jones, John Launchbury - 1991
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009