Hayo Thielecke's publications

• Hayo Thielecke
  On the Semantics of Parsing Actions
  Science of Computer Programming, special issue for PPDP'12). Elsevier
• James Kirrage, Asiri Rathnayake, and Hayo Thielecke
  Static Analysis for Regular Expression Denial-of-Service Attacks
  International Conference on Network and System Security (NSS 2013)
  Springer LNCS number 7873
  Slides from the talk
• Hayo Thielecke
  Functional Semantics of Parsing Actions, and Left Recursion Elimination as Continuation Passing
  14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2012)
  Slides from the talk
• Maxim Strygin and Hayo Thielecke
  Operational semantics for signal handling
  9th Workshop on Structural Operational Semantics (SOS) 2012
• Asiri Rathnayake and Hayo Thielecke
  Regular Expression Matching and Operational Semantics
  Structural Operational Semantics (SOS) 2011
  Slides for Southampton talk in PDF
• Alan Sexton and Hayo Thielecke
  Reasoning about B+ Trees with Operational Semantics and Separation Logic
  MFPS24 (24th conference on Mathematical Foundations of Programming Semantics)
  Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.
  Slides of the talk.
• Hayo Thielecke
  Control effects as a modality
  Journal of Functional Programming Theoretical Pearl
• Hayo Thielecke
  Frame Rules from Answer Types for Code Pointers
  POPL'06 (The 33rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
  The slides of an extended talk I gave a the Cambridge Computer Laboratory are also available.
• Peter Buchlovsky and Hayo Thielecke
  A Type-theoretic Reconstruction of the Visitor Pattern
  21st Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)
  Electronic Notes in Theoretical Computer Science
• Hayo Thielecke
  Answer Type Polymorphism in Call-by-name Continuation Passing
  ESOP 2004 (European Symposium on Programming)
  
• Hayo Thielecke (Editor)
  Proceedings of the Fourth ACM-SIGPLAN Continuations Workshop (CW'04)
  University of Birmingham Technical Report CSR-04-1
  Also available as an online proceedings
• Hayo Thielecke
  From Control Effects to Typed Continuation Passing
  POPL'03 (The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
  
• Carsten Führmann and Hayo Thielecke
  On the call-by-value CPS transform and its semantics
  Information and Computation 188(2), 2004.
• Josh Berdine, Peter O'Hearn, Uday S. Reddy, and Hayo Thielecke
  Linear Continuation-Passing
  Higher-order and Symbolic Computation 15(2/3), 2002 ©Kluwer
• Hayo Thielecke
  Comparing Control Constructs by Double-barrelled CPS
  Higher-order and Symbolic Computation 15 (2/3), 2002 ©Kluwer
• Paul Levy, John Power and Hayo Thielecke
  Modelling environments in call-by-value programming languages
  Information and Computation 185(2):182-210, 2003
• Hayo Thielecke
  Comparing Control Constructs by Double-barrelled CPS Transforms
  revised version of CW01 article, appeared in MFPS17.
  Superseded by the journal version above.
• Josh Berdine, Peter W. O'Hearn, Uday Reddy, and Hayo Thielecke
  Linearly Used Continuations
  The Third ACM SIGPLAN Workshop on Continuations (CW'01)
  Same in PDF
• Hayo Thielecke
  Comparing Control Constructs by Typing Double-barrelled CPS Transforms
  Same in PDF
  The Third ACM SIGPLAN Workshop on Continuations (CW'01)
• Hayo Thielecke
  On Exceptions versus Continuations in the Presence of State
  Proceedings ESOP 2000, Springer LNCS 1782
  ©Springer-Verlag
  ML code from the figures
  
• Hayo Thielecke
  Continuations, functions and jumps
  Same in PDF
  Logic Column 8, SIGACT News, July 1999.
• Jon G. Riecke and Hayo Thielecke
  Typed Exceptions and Continuations Cannot Macro-Express Each Other
  ©Springer-Verlag
  Proc. ICALP '99, Springer LNCS 1644.
  
• John Power and Hayo Thielecke
  Closed Freyd- and kappa-categories ©Springer-Verlag
  Proc. ICALP '99, Springer LNCS 1644.
• Hayo Thielecke
  Using a continuation twice and its implications for the expressive power of call/cc
  Higher-Order and Symbolic Computation 12(1),1999, ©Kluwer
  Here is some code from the paper: in Scheme or Standard ML of New Jersey - the latter needs >SMLofNJ.Cont
  
• Hayo Thielecke
  An introduction to Landin's 'A Generalization of Jumps and Labels'
  Higher-Order and Symbolic Computation 11(2), 1998, ©Kluwer
• My PhD thesis, Categorical Structure of Continuation Passing Style
  click for PS.
  Also available as LFCS technical report ECS-LFCS-97-376 from Edinburgh.
  
• John Power and Hayo Thielecke
  Environments, continuation semantics and indexed categories
  In Proceedings TACS'97, Springer LNCS 1281
  
• Hayo Thielecke
  Continuation Semantics and Self-adjointness
  In Proceedings MFPS XIII
  Electronic Notes in Theoretical Computer Science Volume 6.
  
• Michael Fourman and Hayo Thielecke
  A proposed categorical semantics for ML modules
  In Category Theory and Computer Science, Proceedings CTCS '95, Springer LNCS 953.
  
• Hayo Thielecke
  Continuation passing style and self-adjointness
  In Proceedings 2nd ACM SIGPLAN Workshop on Continuations.
  BRICS Notes Series, NS-96-13, 1996.
  
  

Unpublished

• Hayo Thielecke
  Contrasting exceptions and continuations
  Draft of 2001.
• Josh Berdine, Peter O'Hearn and Hayo Thielecke
  Extracting the Range of CPS from Affine Typing: Extended Abstract.
  Presented at FLoC'02 Workshop on Linear Logic (LL 2002), July 2002. (The workshop had no proceedings.)