publication venue for
- A type-theoretic foundation of delimited continuations. 22:233-273. 2009
- A proof-theoretic foundation of abortive continuations. 20:403-429. 2007
- Higher-Order and Symbolic Computation: Editorial. 15:139-140. 2002
- From syntactic theories to interpreters: Automating the proof of unique decomposition. 14:387-409. 2001
- Reasoning about programs in continuation-passing style. 6:289-360. 1993