|
25
|
Programming in Haskell
– Graham Hutton
- 2007
|
|
275
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
30
|
Category Theoretic Approach to Data Types
– Tatsuya Hagino
- 1987
|
|
78
|
Algebraic Data Types and Program Transformation
– Grant Malcolm
- 1990
|
|
7
|
Functional Specification of Real-Time and Hybrid Systems
– Olaf Müller, Peter Scholz
- 1997
|
|
113
|
Proving the correctness of reactive systems using sized types
– John Hughes, Lars Pareto, Amr Sabry
- 1996
|
|
214
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
173
|
Functional Reactive Animation
– Conal Elliott, Paul Hudak
- 1997
|
|
50
|
Sur Les Opérations Dans Les Ensembles Abstraits Et Leur Application Aux Équations Intégrales
– Stefan Banach
- 1922
|
|
25
|
An Extensional Treatment of Dataflow Deadlock
– William Wadge
- 1981
|
|
11
|
A Term Calculus for (Co-)Recursive Definitions on Streamlike Data Structures
– W Buchholz
- 2005
|
|
6
|
On the Productivity of Recursive Definitions
– E W Dijkstra
- 1980
|
|
20
|
On the Productivity of Recursive List Definitions
– B A Sijtsma
- 1989
|
|
12
|
The essence of dataflow programming
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
5
|
A metric model of PCF
– Martín Hötzel Escardó
- 1998
|
|
9
|
A Unifying Approach to Recursive and Co-recursive Definitions
– Pietro Di Gianantonio, Marino Miculan
- 2002
|
|
5
|
Representations of First-order Function Types as Terminal Coalgebras
– Thorsten Altenkirch
- 2001
|
|
6
|
Functional Pearl: Streams and Unique Fixed Points
– Ralf Hinze
- 2008
|
|
8
|
Safe Functional Reactive Programming through Dependent Types
– Neil Sculthorpe, Henrik Nilsson
|
