Programming monads operationally with Unimo (2006)

Cached

Download Links

by Chuan-kai Lin
Venue:In ICFP
Citations:6 - 2 self

Documents Related by Co-Citation

159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
41 Compiling Embedded Languages – Conal Elliott, Sigbjørn Finne, Oege De Moor - 2000
1312 Monads for functional programming – Philip Wadler - 1995
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
34 Data types à la carte – Wouter Swierstra
4 Wobbly types: type inference for generalized algebraic data types – Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich - 2004
13 Type Inference for GADTs via Herbrand Constraint Abduction – Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey - 2008
2 Silly type families. Online at http://web.cecs.pdx.edu/~sheard/papers/silly.pdf (accessed September 26 – Lennart Augustsson, Kent Petersson - 2009
26 On the Unification of Substitutions in Type Inference – Bruce J. Mcadam - 1998
20 and Emir Pasalic. Meta-programming with builtin type equality – Tim Sheard - 2004
31 Type-Safe Cast: Functional Pearl – Stephanie Weirich - 2000
57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
102 Phantom Types – James Cheney, Ralf Hinze - 2003
37 Stratified type inference for generalized algebraic data types – Ois Pottier Yann R'egis-gianas - 2006
16 Type inference for guarded recursive data types – Peter J. Stuckey, Martin Sulzmann - 2005
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
6 Dimitrios Vytiniotis. Complete and decidable type inference for gadts – Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann