A Proposed Categorical Semantics for ML Modules. - Michael P. Fourman; Hayo Thielecke (Category Theory and Computer Science, 1995)

Environments, Continuation Semantics and Indexed Categories. - John Power; Hayo Thielecke (TACS, 1997)

Continuation semantics and self-adjointness. - Hayo Thielecke (MFPS, 1997)

An Introduction to Landin's "A Generalization of Jumps and Labels". - Hayo Thielecke (High. Order Symb. Comput., 1998)

Closed Freyd- and kappa-categories. - John Power; Hayo Thielecke (ICALP, 1999)

Typed Exeptions and Continuations Cannot Macro-Express Each Other. - Jon G. Riecke; Hayo Thielecke (ICALP, 1999)

Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC. - Hayo Thielecke (High. Order Symb. Comput., 1999)

Continuations, functions and jumps. - Hayo Thielecke (SIGACT News, 1999)

On Exceptions Versus Continuations in the Presence of State. - Hayo Thielecke (ESOP, 2000)

Comparing Control Constructs by Double-barrelled {CPS} Transforms. - Hayo Thielecke (MFPS, 2001)

Linear Continuation-Passing. - Josh Berdine; Peter W. O'Hearn; Uday S. Reddy; Hayo Thielecke (High. Order Symb. Comput., 2002)

Comparing Control Constructs by Double-Barrelled CPS. - Hayo Thielecke (High. Order Symb. Comput., 2002)

From control effects to typed continuation passing. - Hayo Thielecke (POPL, 2003)

Modelling environments in call-by-value programming languages. - Paul Blain Levy; John Power; Hayo Thielecke (Inf. Comput., 2003)

Answer Type Polymorphism in Call-by-Name Continuation Passing. - Hayo Thielecke (ESOP, 2004)

On the call-by-value CPS transform and its semantics. - Carsten Führmann; Hayo Thielecke (Inf. Comput., 2004)

A Type-theoretic Reconstruction of the Visitor Pattern. - Peter Buchlovsky; Hayo Thielecke (MFPS, 2005)

Frame rules from answer types for code pointers. - Hayo Thielecke (POPL, 2006)

Editorial. - Olivier Danvy; Hayo Thielecke (High. Order Symb. Comput., 2007)

Reasoning about B+ Trees with Operational Semantics and Separation Logic. - Alan P. Sexton; Hayo Thielecke (MFPS, 2008)

Control effects as a modality. - Hayo Thielecke (J. Funct. Program., 2009)

Regular Expression Matching and Operational Semantics - Asiri Rathnayake; Hayo Thielecke (SOS, 2011)

Functional semantics of parsing actions, and left recursion elimination as continuation passing. - Hayo Thielecke (PPDP, 2012)

Operational semantics for signal handling - Maxim Strygin; Hayo Thielecke (EXPRESS/SOS, 2012)

Static Analysis for Regular Expression Denial-of-Service Attacks. - James Kirrage; Asiri Rathnayake; Hayo Thielecke (NSS, 2013)

Static Analysis for Regular Expression Exponential Runtime via Substructural Logics. - Asiri Rathnayake; Hayo Thielecke (CoRR, 2014)

On the semantics of parsing actions. - Hayo Thielecke (Sci. Comput. Program., 2014)

Command injection attacks, continuations, and the Lambek calculus. - Hayo Thielecke (WoC, 2015)