|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
10
|
Compiling Monads
– Olivier Danvy, Jürgen Koslowski, Karoline Malmkjær, Karoline Malmkjaer
- 1991
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
5
|
Modelling office processes with functional parsers
– Gert Florijn
- 1994
|
|
29
|
Category Theoretic Approach to Data Types
– T Hagino
- 1987
|
|
77
|
Algebraic Data Types and Program Transformation
– G R Malcolm
- 1990
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
46
|
Merging Monads and Folds for Functional Programming
– Erik Meijer, Johan Jeuring
- 1995
|
|
54
|
Monadic Parser Combinators
– Graham Hutton , Erik Meijer
- 1996
|
|
21
|
Fold and Unfold for Program Semantics
– Graham Hutton
- 1998
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
65
|
Recursive types reduced to inductive types
– P Freyd
- 1990
|
|
79
|
Algebraic Approaches to Program Semantics
– E G Manes, M A Arbib
- 1986
|
|
303
|
Denotational Semantics: A Methodology for Language Development
– D A SCHMIDT
- 1986
|
