Generalizing Substitution (2003)

by Tarmo Uustalu
Citations:4 - 1 self

Documents Related by Co-Citation

25 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002
17 A generalization of short-cut fusion and its correctness proof – P Johann
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
1312 Monads for functional programming – Philip Wadler - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
2 augment and destroy, universally – Build - 2004
7 Categories of processes enriched in final coalgebras – S Krstić, J Launchbury, D Pavlović
46 A typed lambda calculus with categorical type constructors – Tatsuya Hagino - 1987
18 Abstract value constructors – William Aitken, John Reppy - 1992
3 A Theory of Monads Parameterized By Effects – Jean-Christophe Filliâtre, Universite Paris Sud - 1999
1 Lightweight monadic regions. Pages 1–12 – Oleg Kiselyov, chieh Shan, Chung - 2008
7 Factorising Folds for Faster Functions – Graham Hutton, MAURO JASKELIOFF, Andy Gill
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
10 Short cut fusion is correct – Patricia Johann - 2003
131 Categories for the Working Mathematician (Second Edition – S Mac Lane - 1997
36 Interactive Programs in Dependent Type Theory – Peter Hancock, Anton Setzer - 2000