Hayo Thielecke
Hayo Thielecke
Verified email at cs.bham.ac.uk
TitleCited byYear
Categorical structure of continuation passing style
H Thielecke
University of Edinburgh. College of Science and Engineering. School of …, 1997
1271997
Modelling environments in call-by-value programming languages
PB Levy, J Power, H Thielecke
Information and computation 185 (2), 182-210, 2003
682003
Linear continuation-passing
J Berdine, P O'hearn, U Reddy, H Thielecke
Higher-Order and Symbolic Computation 15 (2), 181-208, 2002
662002
Closed Freyd-and κ-categories
J Power, H Thielecke
Automata, Languages and Programming, 709-710, 1999
631999
From control effects to typed continuation passing
H Thielecke
ACM SIGPLAN Notices 38 (1), 139-149, 2003
492003
A type-theoretic reconstruction of the visitor pattern
P Buchlovsky, H Thielecke
Electronic notes in theoretical computer science 155, 309-329, 2006
362006
Typed exceptions and continuations cannot macro-express each other
J Riecke, H Thielecke
Automata, Languages and Programming, 700-700, 1999
301999
An Introduction to Landin's “A Generalization of Jumps and Labels”
H Thielecke
Higher-Order and Symbolic Computation 11 (2), 117-123, 1998
281998
Comparing control constructs by double-barrelled CPS
H Thielecke
Higher-Order and Symbolic Computation 15 (2), 141-160, 2002
272002
Environments, continuation semantics and indexed categories
J Power, H Thielecke
Theoretical Aspects of Computer Software, 391-414, 1997
251997
Linearly used continuations
J Berdine, PW O’hearn, US Reddy, H Thielecke
Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW’01), 47-54, 2000
242000
On exceptions versus continuations in the presence of state
H Thielecke
Programming Languages and Systems, 397-411, 2000
242000
Continuation semantics and self-adjointness
H Thielecke
Electronic Notes in Theoretical Computer Science 6, 348-364, 1997
241997
On the call-by-value CPS transform and its semantics
C Fuhrmann, H Thielecke
Information and Computation 188 (2), 241-283, 2004
222004
Static analysis for regular expression denial-of-service attacks
J Kirrage, A Rathnayake, H Thielecke
International Conference on Network and System Security, 135-148, 2013
202013
Using a continuation twice and its implications for the expressive power of call/cc
H Thielecke
Higher-Order and Symbolic Computation 12 (1), 47-73, 1999
171999
Answer type polymorphism in call-by-name continuation passing
H Thielecke
Programming Languages and Systems, 279-293, 2004
152004
Static Analysis for Regular Expression Exponential Runtime via Substructural Logics (Extended)
A Rathnayake, H Thielecke
arXiv preprint arXiv:1405.7058, 2014
142014
Continuations, functions and jumps
H Thielecke
ACM SIGACT News 30 (2), 33-42, 1999
141999
Reasoning about b+ trees with operational semantics and separation logic
A Sexton, H Thielecke
Electronic Notes in Theoretical Computer Science 218, 355-369, 2008
122008
The system can't perform the operation now. Try again later.
Articles 1–20