Build, augment and destroy. Universally (2004)

Cached

Download Links

by Neil Ghani , Tarmo Uustalu , Varmo Vene
Venue:In Asian Symposium on Programming Languages, Proceedings
Citations:4 - 3 self

Active Bibliography

Explicit Binds: Effortless Efficiency with and without Trees – Tarmo Uustalu
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
Formal Parametric Polymorphism – Martn Abadi Luca, Luca Cardelli, Pierre-louis Curien - 1993
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
22 Foundations for structured programming with GADTs – Patricia Johann - 2008
unknown title – unknown authors
1 Algebraic fusion of functions with an accumulating parameter and its improvement – Shin-ya Katsumata - 2006
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
6 Unfolding abstract datatypes – Jeremy Gibbons - 2008
4 Generalizing Substitution – Tarmo Uustalu - 2003
2 The Recursion Scheme from the Cofree Recursive Comonad – Tarmo Uustalu, Varmo Vene
10 Parametric and Type-Dependent Polymorphism – Giuseppe Longo - 1995
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003