|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
14
|
Virtual Data Structures
– D. Swierstra, D. Swierstra, O. De Moor, O. De Moor
- 1992
|
|
8
|
Algebraic Design Language (preliminary definition
– R B Kieburtz, J Lewis
- 1994
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
173
|
A Short Cut to Deforestation
– Andrew Gill, John Launchbury, Simon L Peyton Jones
- 1993
|
|
65
|
Recursive types reduced to inductive types
– P Freyd
- 1990
|
|
13
|
Software templates
– Dennis Volpano, Richard B Kieburtz
- 1985
|
|
10
|
Higher-order removal: A modular approach. Unpublished work
– Wei-Ngan Chin, John Darlington
- 1993
|
|
7
|
A specification for an MTV generator
– Jeffrey R Lewis
- 1993
|
|
11
|
A model solution for C I message translation and validation
– Charles Plinta, Kenneth Lee, Michael Rissman
- 1989
|
|
3
|
a transformation system using completion
– ASTRE
- 1991
|
|
3
|
A preliminary definition of a domain specific design language for message translation and valiation
– Lisa Walton, James Hook
- 1994
|
|
13
|
An Implementation of Reynolds' Defunctionalization Method for a Modern Functional Language
– Jeffrey Bell, James Hook, Francoise Bellegarde
- 1993
|
|
13
|
Type Parametric Programming
– Tim Sheard
- 1993
|
|
45
|
Strong categorical datatypes I
– J Cockett, D Spencer
|
|
62
|
A Categorical Programming Language
– Tatsuya Hagino, Tatsuya Hagino
- 1987
|
|
15
|
The template approach to software reuse
– D M Volpano, R B Kieburtz
- 1989
|
