|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
25
|
Upwards and downwards accumulations on trees
– J Gibbons
- 1993
|
|
49
|
Synchronous Kahn Networks
– Paul Caspi, Marc Pouzet
- 1996
|
|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
36
|
Infinite trees and completely iterative theories: A coalgebraic view, Theoret
– P Aczel, J Adámek, S Milius, J Velebil
|
|
4
|
Solving stream equation systems
– B Barbier
- 2002
|
|
16
|
A Co-iterative Characterization of Synchronous Stream Functions
– Paul Caspi, Marc Pouzet
- 1997
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
3
|
Review of the elements of 2-categories, Sydney Category
– G M Kelly, R Street
- 1974
|
|
2
|
Toposes, Triples and Theories, Grundlagen der mathematischen Wissenschaften Vol 278
– M Barr, C Wells
- 1985
|
|
62
|
Axiomatic Domain Theory in Categories of Partial Maps
– M P Fiore
- 1996
|
|
23
|
A Tutorial on
– B Jacobs, J J M M Rutten
- 1997
|
|
109
|
The formal theory of monads
– R Street
- 1972
|
|
18
|
Adjoint lifting theorems for categories of algebras
– P T Johnstone
- 1975
|
|
3
|
∂ for Data: Differentiating Data Structures
– Michael Abbott, Neil Ghani, Thorsten Altenkirch, Conor Mcbride
|
