|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
28
|
Modular Monadic Semantics and Compilation
– Sheng Liang
- 1998
|
|
8
|
A Resumption Monad Transformer and its Applications in the Semantics of Concurrency
– Nikolaos S. Papaspyrou
- 2001
|
|
6
|
The Essence of Multitasking
– William L. Harrison
- 2006
|
|
26
|
Challenges for information-flow security
– Steve Zdancewic
- 2004
|
|
165
|
Information Flow: The Logic of Distributed Systems
– J Barwise, J Seligman
- 1997
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
619
|
Security policies and security models
– J Goguen, J Meseguer
- 1982
|
|
201
|
A Core Calculus of Dependency
– MartÃn Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
21
|
A monadic analysis of information flow security with mutable state
– Karl Crary, Aleksey Kliger, Frank Pfenning
- 2003
|
|
15
|
A Typed Interrupt Calculus
– Jens Palsberg, Di Ma
- 2002
|
|
28
|
Combining events and threads for scalable network services
– Peng Li
- 2007
|
|
2
|
A Simple Semantics for Polymorphic Recursion
– William L. Harrison
- 2005
|
|
2
|
Making monads first-class with Template Haskell
– P Kariotis, A Procter, W Harrison
|
|
2
|
Domain-specific language for hw/sw co-design for FPGAs
– J Agron
- 2009
|
|
10
|
The logic of demand in Haskell
– W L Harrison, R B Kieburtz
|
|
11
|
Calculating an exceptional machine
– G Hutton, J Wright
- 2006
|
|
48
|
Representing Layered Monads
– Andrzej Filinski
- 1999
|
