publication venue for
- Expressing contract monitors as patterns of communication 2015
- Extensible effects 2013
- Information effects 2012
- Lazy evaluation and delimited control 2009
- A type-theoretic foundation of continuations and prompts 2004
- The essence of compiling with continuations 2004
- The essence of compiling with continuations 2004
- Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML 2001
- Monadic encapsulation in ML 1999
- Monadic state 1997
- Monadic state 1997
- A reflection on call-by-value 1996
- Is continuation-passing useful for data flow analysis? 1994
- The essence of compiling with continuations 1993
- The influence of software structure on reliability 1975
- Expressing contract monitors as patterns of communication. 50:387-399. 2015
- Extensible effects. 48:59-70. 2014
- Extensible effects: An alternative to monad transformers. 48:59-70. 2014
- Delimited dynamic binding. 41:26-37. 2006
- Backtracking, interleaving, and terminating monad transformers. 40:192-203. 2005
- Macros as multi-stage computations. 36:74-85. 2001
- Monadic encapsulation in ML. 34:8-17. 1999
- The C programming language. 33:16-16. 1998
- Is continuation-passing useful for data flow analysis?. 29:1-12. 1994
- The essence of compiling with continuations. 28:237-247. 1993
- Synchronization of concurrent processes without globality assumptions. 16:66-80. 1981
- Abstract specification of resource accessing disciplines. 13:41-59. 1978
- Abstract types defined as classes of variables. 11:149-154. 1976
- The influence of software structure on reliability. 10:358-362. 1975
- On the need for fewer restrictions in changing compile-time environments. 10:29-36. 1975