Hayo Thielecke

Available identifiers

zbMath Open thielecke.hayoMaRDI QIDQ1290328

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2852355	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
Comparing control constructs by double-barrelled CPS	2003-05-14	Paper
Linear continuation-passing	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hayo Thielecke