|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
77
|
Algebraic Data Types and Program Transformation
– G R Malcolm
- 1990
|
|
77
|
Circuit design in ruby
– Geraint Jones, Mary Sheeran
- 1990
|
|
10
|
Relations + higher-order functions = hardware descriptions
– Geraint Jones, Mary Sheeran
- 1987
|
|
95
|
Algorithmics: Towards programming as a mathematical activity
– L G L T Meertens
- 1986
|
|
42
|
Calculating compilers
– E Meijer
- 1992
|
|
6
|
Ed Voermans and Jaap van der Woude. A relational theory of datatypes. Appears in [14
– Roland Backhouse
- 1991
|
|
7
|
Regularity of relations: A measure of uniformity
– A Jaoua, A Mili, N Boudriga, J L Durieux
- 1991
|
|
21
|
Relations and Refinement in Circuit Design
– Geraint Jones, Mary Sheeran
- 1991
|
|
15
|
Between Functions and Relations in Calculating Programs
– Graham Muir Hutton
- 1992
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
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
|
|
70
|
Warm Fusion: Deriving Build-Catas from Recursive Definitions
– John Launchbury, Tim Sheard
- 1995
|
|
26
|
Relations binaires, fermetures, correspondances de Galois
– J Riguet
- 1948
|
|
8
|
Describing butterfly networks in Ruby
– Mary Sheeran
- 1989
|
|
215
|
Predicate Calculus and Program Semantics
– E W Dijkstra, C Scholten
- 1990
|
|
8
|
Relationen und Grafen
– G Schmidt, T Strohlein
- 1988
|
|
10
|
Timeless Truths about Sequential Circuits
– Geraint Jones, Mary Sheeran
- 1988
|
