|
198
|
A Foundation for Actor Computation
– Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- 1998
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
20
|
A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types
– Alan Jeffrey
- 1995
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
3
|
An Equational Notion of Lifting Monad
– Anna Bucalo, Carsten Führmann, Alex Simpson
- 2003
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
8
|
Countable Lawvere Theories and Computational Effects
– John Power
- 2006
|
|
4
|
Achieving information flow security through monadic control of effects. Invited submission to
– William L. Harrison, James Hook
|
|
32
|
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
– Olivier Danvy, Ulrik P. Schultz
- 2001
|
|
5
|
Typed event Structures and the π-calculus
– Daniele Varacca, Nobuko Yoshida
- 2006
|
|
13
|
Sequentiality vs. Concurrency in Games and Logic
– Samson Abramsky
- 2001
|
|
27
|
Complete Axioms for Categorical Fixed-point Operators
– Alex Simpson, Gordon Plotkin
- 2000
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
22
|
Algebraic Approaches to Nondeterminism - an Overview
– Michal Walicki, Sigurd Meldal
- 1997
|
|
1
|
Monad Transformers as Monoid Transformers
– Mauro Jaskelioff
|
|
5
|
Semantic Foundations for Heterogeneous Systems
– Roberto Passerone
- 2004
|
|
5
|
Categorical Models for Concurrency: Independence, Fairness and Dataflow
– Thomas Troels Hildebrandt
- 2000
|
