Hayo Thielecke

According to our database, Hayo Thielecke authored at least 28 papers between 1995 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Command injection attacks, continuations, and the Lambek calculus.

Hayo Thielecke

Proceedings of the Workshop on Continuations, 2015

2014

On the semantics of parsing actions.

Hayo Thielecke

Sci. Comput. Program., 2014

Static Analysis for Regular Expression Exponential Runtime via Substructural Logics.

Asiri Rathnayake, Hayo Thielecke

CoRR, 2014

2013

Static Analysis for Regular Expression Denial-of-Service Attacks.

James Kirrage, Asiri Rathnayake, Hayo Thielecke

Proceedings of the Network and System Security - 7th International Conference, 2013

2012

Operational semantics for signal handling

Maxim Strygin, Hayo Thielecke

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

Functional semantics of parsing actions, and left recursion elimination as continuation passing.

Hayo Thielecke

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

Regular Expression Matching and Operational Semantics

Asiri Rathnayake, Hayo Thielecke

Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

2009

Control effects as a modality.

Hayo Thielecke

J. Funct. Program., 2009

2008

Reasoning about B+ Trees with Operational Semantics and Separation Logic.

Alan P. Sexton, Hayo Thielecke

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

Editorial.

Olivier Danvy, Hayo Thielecke

High. Order Symb. Comput., 2007

2006

Frame rules from answer types for code pointers.

Hayo Thielecke

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

A Type-theoretic Reconstruction of the Visitor Pattern.

Peter Buchlovsky, Hayo Thielecke

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

2004

On the call-by-value CPS transform and its semantics.

Carsten Führmann, Hayo Thielecke

Inf. Comput., 2004

Answer Type Polymorphism in Call-by-Name Continuation Passing.

Hayo Thielecke

Proceedings of the Programming Languages and Systems, 2004

2003

Modelling environments in call-by-value programming languages.

Paul Blain Levy, John Power, Hayo Thielecke

Inf. Comput., 2003

From control effects to typed continuation passing.

Hayo Thielecke

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

2002

Comparing Control Constructs by Double-Barrelled CPS.

Hayo Thielecke

High. Order Symb. Comput., 2002

Linear Continuation-Passing.

Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke

High. Order Symb. Comput., 2002

2001

Comparing Control Constructs by Double-barrelled {CPS} Transforms.

Hayo Thielecke

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

2000

On Exceptions Versus Continuations in the Presence of State.

Hayo Thielecke

Proceedings of the Programming Languages and Systems, 2000

1999

Continuations, functions and jumps.

Hayo Thielecke

SIGACT News, 1999

Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC.

Hayo Thielecke

High. Order Symb. Comput., 1999

Typed Exeptions and Continuations Cannot Macro-Express Each Other.

Jon G. Riecke, Hayo Thielecke

Proceedings of the Automata, 1999

Closed Freyd- and kappa-categories.

John Power, Hayo Thielecke

Proceedings of the Automata, 1999

1998

An Introduction to Landin's "A Generalization of Jumps and Labels".

Hayo Thielecke

High. Order Symb. Comput., 1998

1997

Continuation semantics and self-adjointness.

Hayo Thielecke

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Environments, Continuation Semantics and Indexed Categories.

John Power, Hayo Thielecke

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1995

A Proposed Categorical Semantics for ML Modules.

Michael P. Fourman, Hayo Thielecke

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995