Hayo Thielecke

Affiliations:
  • University of Birmingham, School of Computer Science, UK


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Command injection attacks, continuations, and the Lambek calculus.
Proceedings of the Workshop on Continuations, 2015

2014
On the semantics of parsing actions.
Sci. Comput. Program., 2014

Static Analysis for Regular Expression Exponential Runtime via Substructural Logics.
CoRR, 2014

2013
Static Analysis for Regular Expression Denial-of-Service Attacks.
Proceedings of the Network and System Security - 7th International Conference, 2013

2012
Operational semantics for signal handling
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.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
Regular Expression Matching and Operational Semantics
Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

2009
Control effects as a modality.
J. Funct. Program., 2009

2008
Reasoning about B+ Trees with Operational Semantics and Separation Logic.
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007
Editorial.
High. Order Symb. Comput., 2007

2006
Frame rules from answer types for code pointers.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005
A Type-theoretic Reconstruction of the Visitor Pattern.
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

2004
On the call-by-value CPS transform and its semantics.
Inf. Comput., 2004

Answer Type Polymorphism in Call-by-Name Continuation Passing.
Proceedings of the Programming Languages and Systems, 2004

2003
Modelling environments in call-by-value programming languages.
Inf. Comput., 2003

From control effects to typed continuation passing.
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.
High. Order Symb. Comput., 2002

Linear Continuation-Passing.
High. Order Symb. Comput., 2002

2001
Comparing Control Constructs by Double-barrelled {CPS} Transforms.
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

2000
On Exceptions Versus Continuations in the Presence of State.
Proceedings of the Programming Languages and Systems, 2000

1999
Continuations, functions and jumps.
SIGACT News, 1999

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

Typed Exeptions and Continuations Cannot Macro-Express Each Other.
Proceedings of the Automata, 1999

Closed Freyd- and kappa-categories.
Proceedings of the Automata, 1999

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

1997
Continuation semantics and self-adjointness.
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Environments, Continuation Semantics and Indexed Categories.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1995
A Proposed Categorical Semantics for ML Modules.
Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995


  Loading...