- Hayo Thielecke
Frame
Rules from Answer Types for Code Pointers
POPL'06 (The 33rd
SIGPLAN-SIGACT Symposium on Principles of Programming Languages) © ACM
The slides of an extended talk
I gave a the Cambridge Computer Laboratory are also available.
Peter Buchlovsky and Hayo Thielecke
A Type-theoretic Reconstruction of the Visitor Pattern
21st Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)
Electronic Notes in Theoretical Computer Science
Hayo Thielecke
Answer Type Polymorphism in Call-by-name Continuation Passing
ESOP 2004 (European Symposium on Programming)
© Springer Verlag
Hayo Thielecke (Editor)
Proceedings of the Fourth ACM-SIGPLAN Continuations Workshop (CW'04)
University of Birmingham Technical Report CSR-04-1
Also available as an
online proceedings
Hayo Thielecke
From Control
Effects to Typed Continuation Passing
POPL'03 (The 30th SIGPLAN-SIGACT Symposium on Principles of Programming
Languages) © ACM
Carsten Führmann and Hayo Thielecke
On the call-by-value CPS transform and its
semantics
Information and Computation 188(2), 2004.
Josh Berdine, Peter O'Hearn, Uday S. Reddy, and Hayo Thielecke
Linear Continuation-Passing
Higher-order and Symbolic Computation 15(2/3), 2002 ©Kluwer
Hayo Thielecke
Comparing Control Constructs by Double-barrelled CPS
Higher-order and Symbolic Computation 15 (2/3), 2002 ©Kluwer
Paul Levy, John Power and Hayo Thielecke
Modelling environments in call-by-value
programming languages
Information and Computation
185(2):182-210, 2003
-
Hayo Thielecke
Comparing Control Constructs by
Double-barrelled CPS Transforms
revised version of CW01
article, appeared in MFPS17.
Superseded by the journal version above.
- Josh Berdine, Peter W. O'Hearn, Uday Reddy, and Hayo Thielecke
Linearly Used Continuations
The Third ACM SIGPLAN Workshop on Continuations (CW'01)
Same in PDF
-
Hayo Thielecke
Comparing Control Constructs by
Typing Double-barrelled CPS Transforms
Same in PDF
The Third ACM SIGPLAN Workshop on Continuations (CW'01)
- Hayo Thielecke
On Exceptions versus Continuations in
the Presence of State
Proceedings ESOP 2000, Springer LNCS 1782
©Springer-Verlag
ML code from the figures
- Hayo Thielecke
Continuations, functions and
jumps
Same in PDF
Logic Column 8, SIGACT News, July 1999.
- Jon G. Riecke and
Hayo Thielecke
Typed Exceptions and Continuations
Cannot Macro-Express Each Other
©Springer-Verlag
Proc. ICALP '99, Springer LNCS 1644.
- John Power
and Hayo Thielecke
Closed Freyd- and
kappa-categories
©Springer-Verlag
Proc. ICALP '99, Springer LNCS 1644.
- Hayo Thielecke
Using a continuation twice and its
implications for the expressive power of
call/cc
Higher-Order and
Symbolic Computation 12(1),1999, ©Kluwer
Here is some code from the paper: in Scheme or
Standard ML of New Jersey - the latter needs
SMLofNJ.Cont
- Hayo Thielecke
An
introduction to Landin's 'A Generalization of Jumps and
Labels'
Higher-Order
and Symbolic Computation 11(2), 1998, ©Kluwer
- My PhD thesis, Categorical Structure of Continuation Passing
Style
click for PS or DVI.
Also available as LFCS technical
report ECS-LFCS-97-376 from Edinburgh.
- John Power
and Hayo Thielecke
Environments, continuation semantics and
indexed categories
In Proceedings TACS'97, Springer LNCS 1281
- Hayo Thielecke
Continuation Semantics and
Self-adjointness
In Proceedings MFPS XIII
Electronic Notes in Theoretical Computer Science Volume 6.
- Michael Fourman and
Hayo Thielecke
A proposed categorical semantics for ML
modules
In Category Theory and Computer Science, Proceedings CTCS '95,
Springer LNCS 953.
- Hayo Thielecke
Continuation passing style and
self-adjointness
In Proceedings 2nd ACM SIGPLAN Workshop on Continuations.
BRICS Notes Series, NS-96-13, 1996.