Concepedia

Hayo Thielecke

HT

Statistics

Publications

14

Citations

464

H-Index

13

Active since

1997

Affiliations

University of Birmingham(Current)

Queen Mary University of London

University of Edinburgh

Hayo Thielecke is an author at University of Birmingham specializing in formal methods, engineering, and program analysis.

Top concepts

Publications per year

1997–2014

14

Publications

14

Modelling environments in call-by-value programming languages

Paul Blain Levy, John Power, Hayo Thielecke · Information and Computation · 2003 · 130 citations

, , +11

Linear Continuation-Passing

Josh Berdine, Peter W. O’Hearn, Uday S. Reddy et al. · LISP and Symbolic Computation · 2002 · 62 citations

From control effects to typed continuation passing

Hayo Thielecke · 2003 · 54 citations

, , +17

Comparing Control Constructs by Double-Barrelled CPS

Hayo Thielecke · LISP and Symbolic Computation · 2002 · 31 citations

Continuation Semantics and Self-adjointness

Hayo Thielecke · Electronic Notes in Theoretical Computer Science · 1997 · 27 citations · Full text

, , +17

1–5 of 14