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

159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
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
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
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
37 Type Checking with Open Type Functions – Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
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
18 Constructing Universes for Generic Programming – P Morris - 2007
92 98 Language and Libraries: The Revised Report – Peyton Jones, S Haskell - 2003
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
10 Comparing libraries for generic programming in Haskell – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C d S Oliveira - 2008
102 Phantom Types – James Cheney, Ralf Hinze - 2003
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
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