Data types à la carte

Cached

Download Links

by Wouter Swierstra
Citations:34 - 1 self

Active Bibliography

FUNCTIONAL PEARL Data types àlacarte – Wouter Swierstra
Factorising Folds for Faster Functions (Extended Version) – Graham Hutton, MAURO JASKELIOFF, Andy Gill
1 Factorising Folds for Faster Functions – Graham Hutton, Andy Gill
7 Factorising Folds for Faster Functions – Graham Hutton, MAURO JASKELIOFF, Andy Gill
Rapid Prototyping in TEX 5 – Chris Eidhof, Derek Elkins, Stephen Hicks, Eelco Lempsink, Wouter Swierstra, Stephen Hicks, Brent Yorgey - 2009
Monads for Incremental Computing - Functional Pearl – Magnus Carlsson - 2002
8 Two-level types and parameterized modules – Tim Sheard, Emir Pasalic - 2003
Free Theorems Involving . . . – Janis Voigtländer - 2009
7 Asymptotic Improvement of Computations over Free Monads – Janis Voigtländer, Technische Universität Dresden - 2008
Refactoring for Comprehension – Gustavo Villavicencio, Facultad De Matemática Aplicada
General Terms – Pericles S. Kariotis, Adam M. Procter, William L. Harrison
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
2 Proof Abstraction for Imperative Languages – William L. Harrison - 2003
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
8 Modular monad transformers – Mauro Jaskelioff - 2009
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
Type Structure General Terms Algorithms, Languages – Simon Peyton Jones, Martin Sulzmann
37 Type Checking with Open Type Functions – Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
General Terms – Patrick Bahr, Tom Hvitved