|
24
|
Notes on Sconing and Relators
– John C. Mitchell, Andre Scedrov
- 1993
|
|
12
|
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
– Philip Wadler
- 2001
|
|
4
|
The Girard-Reynolds isomorphism (second edition
– Philip Wadler, Jean-yves Girard
- 2004
|
|
112
|
Formal Parametric Polymorphism
– Martin Abadi , Luca Cardelli, Pierre-Louis Curien
- 1993
|
|
12
|
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
|
|
9
|
Monadic augment and generalised short cut fusion
– Neil Ghani, Patricia Johann
- 2005
|
|
5
|
Initial algebra semantics is enough
– Patricia Johann, Neil Ghani
- 2007
|
|
2
|
Unfolding abstract datatypes
– Jeremy Gibbons
- 2008
|
|
3
|
Generalizing Substitution
– Tarmo Uustalu
- 2003
|
|
1
|
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
|
|
3
|
Asymptotic Improvement of Computations over Free Monads
– Janis Voigtländer, Technische Universität Dresden
- 2008
|
|
8
|
(Co-)iteration for higher-order nested datatypes
– Andreas Abel, Ralph Matthes
- 2003
|
|
|
Logic Column 6
– Column Editor Jon, Jon G. Riecke, Peter W. O'hearn
|
