|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
141
|
Denotational semantics
– P D Mosses
- 1990
|
|
80
|
A semantics for ML concurrency primitives
– Dave Berry, Robin Milner, David N. Turner
- 1992
|
|
29
|
Adequacy for algebraic effects
– Gordon Plotkin, Matija Pretnar
- 2001
|
|
20
|
A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types
– Alan Jeffrey
- 1995
|
|
43
|
Notions of Computation Determine Monads
– Gordon Plotkin, John Power
- 2002
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
26
|
Algebraic Operations and Generic Effects
– Gordon Plotkin, John Power
- 2003
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
87
|
Full Abstraction for a Simple Parallel Programming Language
– M. C. B. Hennessy, G. D. Plotkin
- 1979
|
|
64
|
Composing Monads
– Mark P. Jones, Luc Duponcheel
- 1993
|
|
56
|
Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
– G M Kelly, A J Power
- 1993
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
4
|
cooperative multithreading
– Fair
- 2007
|
|
36
|
A Logical View of Composition
– MartÃn Abadi , Gordon D. Plotkin
- 1993
|
|
35
|
A fully abstract may testing semantics for concurrent objects
– Alan Jeffrey
- 2002
|
