Hayo Thielecke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1999–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | NSS | Static Analysis for Regular Expression Denial-of-Service Attacks. | James Kirrage, Asiri Rathnayake, Hayo Thielecke |
| 2012 | PPDP | Functional semantics of parsing actions, and left recursion elimination as continuation passing. | Hayo Thielecke |
| 2006 | POPL | Frame rules from answer types for code pointers. | Hayo Thielecke |
| 2004 | ESOP | Answer Type Polymorphism in Call-by-Name Continuation Passing. | Hayo Thielecke |
| 2003 | POPL | From control effects to typed continuation passing. | Hayo Thielecke |
| 2000 | ESOP | On Exceptions Versus Continuations in the Presence of State. | Hayo Thielecke |
| 1999 | ICALP | Closed Freyd- and kappa-categories. | John Power, Hayo Thielecke |
| 1999 | ICALP | Typed Exeptions and Continuations Cannot Macro-Express Each Other. | Jon G. Riecke, Hayo Thielecke |