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:23 - 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
93 Ed.2003.Haskell 98 Language and Libraries: the Revised Report – Peyton Jones, S
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986
415 Proof of Correctness of Data Representations – C Hoare
130 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
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
105 Unboxed values as first class citizens in a non-strict functional language – Simon L Peyton Jones, John Launchbury - 1991
85 Algebraic data types and program transformation – G Malcolm - 1990
41 Programming in Haskell – G Hutton - 2007
16 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
60 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
103 Phantom Types – James Cheney, Ralf Hinze - 2003
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998