| 2009 |
|---|
| 20 | EE | Hayo Thielecke:
Control effects as a modality.
J. Funct. Program. 19(1): 17-26 (2009) |
| 2008 |
|---|
| 19 | EE | Alan P. Sexton,
Hayo Thielecke:
Reasoning about B+ Trees with Operational Semantics and Separation Logic.
Electr. Notes Theor. Comput. Sci. 218: 355-369 (2008) |
| 2007 |
|---|
| 18 | EE | Olivier Danvy,
Hayo Thielecke:
Editorial.
Higher-Order and Symbolic Computation 20(4): 337-338 (2007) |
| 2006 |
|---|
| 17 | EE | Hayo Thielecke:
Frame rules from answer types for code pointers.
POPL 2006: 309-319 |
| 16 | EE | Peter Buchlovsky,
Hayo Thielecke:
A Type-theoretic Reconstruction of the Visitor Pattern.
Electr. Notes Theor. Comput. Sci. 155: 309-329 (2006) |
| 2004 |
|---|
| 15 | EE | Hayo Thielecke:
Answer Type Polymorphism in Call-by-Name Continuation Passing.
ESOP 2004: 279-293 |
| 14 | EE | Carsten Führmann,
Hayo Thielecke:
On the call-by-value CPS transform and its semantics.
Inf. Comput. 188(2): 241-283 (2004) |
| 2003 |
|---|
| 13 | EE | Hayo Thielecke:
From control effects to typed continuation passing.
POPL 2003: 139-149 |
| 12 | EE | Paul Blain Levy,
John Power,
Hayo Thielecke:
Modelling environments in call-by-value programming languages.
Inf. Comput. 185(2): 182-210 (2003) |
| 2002 |
|---|
| 11 | | Hayo Thielecke:
Comparing Control Constructs by Double-Barrelled CPS.
Higher-Order and Symbolic Computation 15(2-3): 141-160 (2002) |
| 10 | | Josh Berdine,
Peter W. O'Hearn,
Uday S. Reddy,
Hayo Thielecke:
Linear Continuation-Passing.
Higher-Order and Symbolic Computation 15(2-3): 181-208 (2002) |
| 2001 |
|---|
| 9 | EE | Hayo Thielecke:
Comparing Control Constructs by Double-barrelled {CPS} Transforms.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 2000 |
|---|
| 8 | EE | Hayo Thielecke:
On Exceptions Versus Continuations in the Presence of State.
ESOP 2000: 397-411 |
| 1999 |
|---|
| 7 | EE | John Power,
Hayo Thielecke:
Closed Freyd- and kappa-categories.
ICALP 1999: 625-634 |
| 6 | EE | Jon G. Riecke,
Hayo Thielecke:
Typed Exeptions and Continuations Cannot Macro-Express Each Other.
ICALP 1999: 635-644 |
| 5 | | Hayo Thielecke:
Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC.
Higher-Order and Symbolic Computation 12(1): 47-73 (1999) |
| 1998 |
|---|
| 4 | | Hayo Thielecke:
An Introduction to Landin's ``A Generalization of Jumps and Labels''.
Higher-Order and Symbolic Computation 11(2): 117-123 (1998) |
| 1997 |
|---|
| 3 | | John Power,
Hayo Thielecke:
Environments, Continuation Semantics and Indexed Categories.
TACS 1997: 391-414 |
| 2 | EE | Hayo Thielecke:
Continuation semantics and self-adjointness.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1995 |
|---|
| 1 | | Michael P. Fourman,
Hayo Thielecke:
A Proposed Categorical Semantics for ML Modules.
Category Theory and Computer Science 1995: 240-252 |
