Follow
Hayo Thielecke
Hayo Thielecke
Verified email at cs.bham.ac.uk
Title
Cited by
Cited by
Year
Modelling environments in call-by-value programming languages
PB Levy, J Power, H Thielecke
Information and computation 185 (2), 182-210, 2003
1802003
Categorical structure of continuation passing style
H Thielecke
University of Edinburgh. College of Science and Engineering. School of …, 1997
1401997
Closed Freyd-and κ-categories
J Power, H Thielecke
Automata, Languages and Programming, 709-710, 1999
881999
Linear continuation-passing
J Berdine, P O'hearn, U Reddy, H Thielecke
Higher-Order and Symbolic Computation 15 (2), 181-208, 2002
722002
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
582013
From control effects to typed continuation passing
H Thielecke
ACM SIGPLAN Notices 38 (1), 139-149, 2003
582003
A type-theoretic reconstruction of the visitor pattern
P Buchlovsky, H Thielecke
Electronic notes in theoretical computer science 155, 309-329, 2006
392006
Static analysis for regular expression exponential runtime via substructural logics
A Rathnayake, H Thielecke
CoRR abs/1405.7058, 2014
362014
Comparing control constructs by double-barrelled CPS
H Thielecke
Higher-Order and Symbolic Computation 15 (2), 141-160, 2002
362002
Comparing control constructs by typing double-barrelled CPS transforms
H Thielecke
Amr Sabry editor December 2000, 17, 2000
36*2000
Environments, continuation semantics and indexed categories
J Power, H Thielecke
Theoretical Aspects of Computer Software, 391-414, 1997
331997
Continuation semantics and self-adjointness
H Thielecke
Electronic Notes in Theoretical Computer Science 6, 348-364, 1997
311997
An Introduction to Landin's “A Generalization of Jumps and Labels”
H Thielecke
Higher-Order and Symbolic Computation 11 (2), 117-123, 1998
301998
Typed exceptions and continuations cannot macro-express each other
J Riecke, H Thielecke
Automata, Languages and Programming, 700-700, 1999
291999
On the call-by-value CPS transform and its semantics
C Fuhrmann, H Thielecke
Information and Computation 188 (2), 241-283, 2004
242004
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
232000
On exceptions versus continuations in the presence of state
H Thielecke
Programming Languages and Systems, 397-411, 2000
232000
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
211999
Answer type polymorphism in call-by-name continuation passing
H Thielecke
Programming Languages and Systems, 279-293, 2004
202004
Continuations, functions and jumps
H Thielecke
ACM SIGACT News 30 (2), 33-42, 1999
171999
The system can't perform the operation now. Try again later.
Articles 1–20