1. Polymorphic effect systems In Proceedings of the th on Principles of Programming Languages;Lucassen;Symposium,1988
2. Lazy evaluation and delimited control In Proceedings of the th on Principles of Programming Languages;Garcia;Symposium,2009
3. Once upon a type In Proceedings of the Seventh International Conference on Functional Programming Languages and;Turner;Computer Architecture,1995
4. natural semantics for lazy evaluation In Proceedings of the th on Principles of Programming Languages;Launchbury;Symposium,1993
5. Linear logic autonomous categories and cofree coalgebras In Categories in Logic American Mathematical;Seely;Computer Science Society,1989