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
25 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
36 Data types à la carte – Wouter Swierstra
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
171 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
37 Type Checking with Open Type Functions – Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
18 Constructing Universes for Generic Programming – P Morris - 2007
93 Ed.2003.Haskell 98 Language and Libraries: the Revised Report – Peyton Jones, S
10 Comparing libraries for generic programming in Haskell. Pages 111–122 of: Haskell symposium ’08 – Rodriguez Yakushev, Jeuring Alexey, Jansson Johan, Gerdes Patrik, Kiselyov Alex, Oleg, d S Oliveira, C Bruno - 2008
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
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