The following pages link to Hayo Thielecke (Q1290328):
Displayed 21 items.
- An introduction to Landin's ``A generalization of jumps and labels'' (Q1290329) (← links)
- Using a continuation twice and its implications for the expressive power of call/cc (Q1302746) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- Comparing control constructs by double-barrelled CPS (Q1870488) (← links)
- Linear continuation-passing (Q1870491) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- (Q2852355) (← links)
- From control effects to typed continuation passing (Q2942920) (← links)
- (Q4222903) (← links)
- (Q4364395) (← links)
- (Q4518889) (← links)
- Comparing Control Constructs by Double-barrelled CPS Transforms (Q4917068) (← links)
- (Q4938649) (← links)
- (Q4965823) (← links)
- (Q4986266) (← links)
- A proposed categorical semantics for ML modules (Q5057478) (← links)
- Control effects as a modality (Q5302644) (← links)
- Programming Languages and Systems (Q5308704) (← links)
- Frame rules from answer types for code pointers (Q5348932) (← links)
- Reasoning about B+ Trees with Operational Semantics and Separation Logic (Q5415648) (← links)