Hayo Thielecke

Available identifiers

Publication	Date of Publication	Type
A proposed categorical semantics for ML modules	2022-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4986266	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4965823	2021-03-10	Paper
Frame rules from answer types for code pointers	2017-08-21	Paper
From control effects to typed continuation passing	2015-09-11	Paper
Reasoning about B+ Trees with Operational Semantics and Separation Logic	2014-05-13	Paper
On the semantics of parsing actions	2014-03-25	Paper
A type-theoretic reconstruction of the visitor pattern	2013-10-08	Paper
Comparing Control Constructs by Double-barrelled CPS Transforms	2013-04-26	Paper
Control effects as a modality	2009-01-08	Paper
Programming Languages and Systems	2007-09-28	Paper
On the call-by-value CPS transform and its semantics	2004-11-23	Paper
Modelling environments in call-by-value programming languages.	2004-03-14	Paper
Linear continuation-passing	2003-05-14	Paper
Comparing control constructs by double-barrelled CPS	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q4518889	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4938649	2000-02-23	Paper
An introduction to Landin's ``A generalization of jumps and labels	1999-05-31	Paper
Using a continuation twice and its implications for the expressive power of call/cc	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4222903	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4364395	1998-03-02	Paper

This page was built for person: Hayo Thielecke