|
200
|
Introduction to functional programming using Haskell
– R Bird
- 1998
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
62
|
A Categorical Programming Language
– Tatsuya Hagino, Tatsuya Hagino
- 1987
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
89
|
de Moor, O.: Algebra of Programming
– R Bird
- 1997
|
|
109
|
Bisimilarity as a theory of functional programming
– A Gordon
- 1995
|
|
52
|
Mathematical Theory of Program Correctness
– J W DE BAKKER
- 1980
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
24
|
Calculating Functional Programs
– Jeremy Gibbons
- 2000
|
|
43
|
The Under-Appreciated Unfold
– Jeremy Gibbons, Geraint Jones
- 1998
|
|
46
|
Deriving Structural Hylomorphisms From Recursive Definitions
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
10
|
Semantics of the domain of flow diagrams
– John C Reynolds
- 1977
|
|
7
|
Programming with inductive and co-inductive types
– John Greiner
- 1992
|
|
45
|
A typed lambda calculus with categorical type constructors
– Tatsuya Hagino
- 1987
|
|
84
|
The promotion and accumulation strategies in transformational programming
– R S Bird
- 1984
|
|
12
|
Proof Methods for Structured Corecursive Programs
– Jeremy Gibbons, Graham Hutton
- 1999
|
|
3
|
Inductive Programming
– Richard B. Kieburtz
- 1993
|
|
14
|
Fixed Points and Extensionality in Typed Functional Programming Languages
– Brian T. Howard
- 1992
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
