publication venue for
- Not by equations alone: Reasoning with extensible effects. 31. 2021
- An extended account of contract monitoring strategies as patterns of communication. 28. 2018
- Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. 21:663-664. 2011
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. 19:509-543. 2009
- A monadic framework for delimited continuations. 17:687-730. 2007
- CPS in little pieces: composing partial continuations. 12:617-622. 2002
- Monadic encapsulation of effects: a revised approach (extended version). 11:591-627. 2001
- What is a purely functional language?. 8:1-22. 1998