Data types à la carte

Cached

Download Links

by Wouter Swierstra
Citations:34 - 1 self

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1312 Monads for functional programming – Philip Wadler - 1995
68 Applicative programming with effects – Conor Mcbride, Ross Paterson
730 Notions of Computation and Monads – Eugenio Moggi - 1991
326 Theorems for free! – Philip Wadler - 1989
55 Representing Layered Monads – Andrzej Filinski - 1999
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
12 Monatron: an extensible monad transformer library. Available at http://www.cs.nott.ac.uk/~mjj/pubs/monatron.pdf – Mauro Jaskelioff
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
7 Programming with algebraic effects and handlers – A Bauer, M Pretnar
16 A.: Extensible and modular generics for the masses – B C d S Oliveira, R Hinze, Löh - 2006
6 T.: Compositional Data Types – Patrick Bahr, Tom Hvitved - 2011
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986
456 Comprehending Monads – Philip Wadler - 1992
10 Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. – Luc Duponcheel - 1995
53 Strongly typed heterogeneous collections – Oleg Kiselyov - 2004
28 Finally Tagless, Partially Evaluated -- Tagless Staged Interpreters for Simpler Typed Languages – Jacques Carette, Oleg Kiselyov, Chung-chieh Shan