| |
| 2007 | ||
|---|---|---|
| 2 | EE | Nick Benton, Peter Buchlovsky: Semantics of an effect analysis for exceptions. TLDI 2007: 15-26 |
| 2006 | ||
| 1 | EE | Peter Buchlovsky, Hayo Thielecke: A Type-theoretic Reconstruction of the Visitor Pattern. Electr. Notes Theor. Comput. Sci. 155: 309-329 (2006) |
| 1 | Nick Benton (P. N. Benton) | [2] |
| 2 | Hayo Thielecke | [1] |