|
150
|
Traced monoidal categories
– A Joyal, R Street, D Verity
- 1996
|
|
89
|
Premonoidal Categories and Notions of Computation
– John Power, Edmund Robinson
- 1995
|
|
60
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
815
|
Categories for the Working Mathematician
– S Mac Lane
- 1971
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
61
|
Retracing some paths in Process Algebra
– Samson Abramsky
|
|
18
|
Premonoidal categories and a graphical view of programs, available from http://klee.cs.depaul.edu/premon
– A S A Jeffrey
- 1998
|
|
62
|
Equational term graph rewriting
– Zena M. Ariola, Jan Willem Klop
- 1996
|
|
91
|
Geometry of Interaction I: interpretation of system F
– J-Y Girard
- 1989
|
|
119
|
Interaction Categories and the Foundations of Typed Concurrent Programming
– Samson Abramsky, Simon Gay, Rajagopal Nagarajan
- 1995
|
|
39
|
Bicategories of Processes
– P. Katis, N. Sabadini, R. F. C. Walters
- 1997
|
|
32
|
On embedding a microarchitectural design language within Haskell
– John Launchbury, Jeffrey R. Lewis, Byron Cook
- 1999
|
|
96
|
Lava: Hardware Design in Haskell
– Per Bjesse, Koen Claessen, Mary Sheeran
- 1998
|
|
135
|
Elements of Interaction
– Robin Milner
- 1993
|
|
652
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
169
|
A Natural Semantics for Lazy Evaluation
– John Launchbury
- 1993
|
|
4
|
Nets and data flow interpreters
– A M Rabinovich, B A Trakhtenbrot
- 1989
|
|
664
|
The Semantics of a Simple Language for Parallel Programming
– G Kahn
- 1974
|
|
14
|
Feedback and generalized logic
– E S Bainbridge
- 1976
|
