General Terms

Cached

Download Links

by Pericles S. Kariotis , Adam M. Procter , William L. Harrison

Active Bibliography

3 Domain separation by construction – William Harrison, Mark Tullsen, James Hook - 2003
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
3 Towards Modular Compilers for Effects – Laurence E. Day, Graham Hutton
1 Model-driven engineering from modular monadic semantics: Implementation techniques targeting hardware and software – William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein - 2009
15 Achieving information flow security through precise control of effects – William L. Harrison - 2005
2 Proof Abstraction for Imperative Languages – William L. Harrison - 2003
Under supervision of: – Pierre-evariste Dagand, Prof Timothy Roscoe - 2009
7 The Essence of Multitasking – William L. Harrison - 2006
Rapid Prototyping in TEX 5 – Chris Eidhof, Derek Elkins, Stephen Hicks, Eelco Lempsink, Wouter Swierstra, Stephen Hicks, Brent Yorgey - 2009
7 A Monadic Semantics for Core Curry – Andrew Tolmach, Sergio Antoy - 2003
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
8 Modular monad transformers – Mauro Jaskelioff - 2009
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
7 Metacomputation-based compiler architecture – William L. Harrison, Samuel N. Kamin - 2000
11 A Resumption Monad Transformer and its Applications in the Semantics of Concurrency – Nikolaos S. Papaspyrou - 2001
19 Modular Compilers Based on Monad Transformers – William Harrison, Samuel N. Kamin - 1998
4 Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract) – William L. Harrison, Samuel N. Kamin - 1998
1 Denotational semantics of ANSI C – Nikolaos S. Papaspyrou - 2001