Data types à la carte

Cached

Download Links

by Wouter Swierstra
Citations:39 - 1 self

Documents Related by Co-Citation

234 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1312 Monads for functional programming – Philip Wadler - 1995
8 T.: Compositional Data Types – Patrick Bahr, Tom Hvitved - 2011
733 Notions of Computation and Monads – Eugenio Moggi - 1991
70 Applicative programming with effects – Conor Mcbride, Ross Paterson
12 Monatron: an extensible monad transformer library. Available at http://www.cs.nott.ac.uk/~mjj/pubs/monatron.pdf – Mauro Jaskelioff
7 Programming with algebraic effects and handlers – A Bauer, M Pretnar
3 Towards Modular Compilers for Effects – Laurence E. Day, Graham Hutton
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
458 Comprehending Monads – Philip Wadler - 1992
55 Representing Layered Monads – Andrzej Filinski - 1999
10 Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. – Luc Duponcheel - 1995
85 Algebraic data types and program transformation – G Malcolm - 1990
55 Strongly typed heterogeneous collections – Oleg Kiselyov - 2004
330 Theorems for free! – Philip Wadler - 1989
31 Finally Tagless, Partially Evaluated -- Tagless Staged Interpreters for Simpler Typed Languages – Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
157 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
347 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988