Hayo Thielecke - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2014

On the semantics of parsing actionsHayo Thielecke. SCP, 84:52-76, 2014. [doi]

2013

Static Analysis for Regular Expression Denial-of-Service AttacksJames Kirrage, Asiri Rathnayake, Hayo Thielecke. NSS 2013: 135-148 [doi]

2012

Functional semantics of parsing actions, and left recursion elimination as continuation passingHayo Thielecke. ppdp 2012: 91-102 [doi]

2009

Control effects as a modalityHayo Thielecke. JFP, 19(1):17-26, 2009. [doi]

2008

Reasoning about B+ Trees with Operational Semantics and Separation LogicAlan P. Sexton, Hayo Thielecke. ENTCS, 218:355-369, 2008. [doi]

2007

EditorialOlivier Danvy, Hayo Thielecke. lisp, 20(4):337-338, 2007. [doi]

2006

A Type-theoretic Reconstruction of the Visitor PatternPeter Buchlovsky, Hayo Thielecke. ENTCS, 155:309-329, 2006. [doi]

Frame rules from answer types for code pointersHayo Thielecke. POPL 2006: 309-319 [doi]

2004

On the call-by-value CPS transform and its semanticsCarsten Führmann, Hayo Thielecke. iandc, 188(2):241-283, 2004. [doi]

Answer Type Polymorphism in Call-by-Name Continuation PassingHayo Thielecke. ESOP 2004: 279-293 [doi]

2003

Modelling environments in call-by-value programming languagesPaul Blain Levy, John Power, Hayo Thielecke. iandc, 185(2):182-210, 2003. [doi]

From control effects to typed continuation passingHayo Thielecke. POPL 2003: 139-149 [doi]

2002

Linear Continuation-PassingJosh Berdine, Peter W. O Hearn, Uday S. Reddy, Hayo Thielecke. lisp, 15(2-3):181-208, 2002.

Comparing Control Constructs by Double-Barrelled CPSHayo Thielecke. lisp, 15(2-3):141-160, 2002.

2001

Comparing Control Constructs by Double-barrelled {CPS} TransformsHayo Thielecke. ENTCS, 45:433-447, 2001. [doi]

2000

On Exceptions Versus Continuations in the Presence of StateHayo Thielecke. ESOP 2000: 397-411 [doi]

1999

Closed Freyd- and kappa-categoriesJohn Power, Hayo Thielecke. icalp 1999: 625-634 [doi]

Typed Exeptions and Continuations Cannot Macro-Express Each OtherJon G. Riecke, Hayo Thielecke. icalp 1999: 635-644 [doi]

Using a Continuation Twice and Its Implications for the Expressive Power of Call/CCHayo Thielecke. lisp, 12(1):47-73, 1999.

Continuations, functions and jumpsHayo Thielecke. sigact, 30(2):33-42, 1999. [doi]

1998

An Introduction to Landin s A Generalization of Jumps and Labels Hayo Thielecke. lisp, 11(2):117-123, 1998.

1997

Environments, Continuation Semantics and Indexed CategoriesJohn Power, Hayo Thielecke. tacs 1997: 391-414

Continuation semantics and self-adjointnessHayo Thielecke. ENTCS, 6:348-364, 1997. [doi]

1995

A Proposed Categorical Semantics for ML ModulesMichael P. Fourman, Hayo Thielecke. ctcs 1995: 240-252

Sign in or sign up to see more results.

runs on WebDSL