J
oachim
B
reitner
Homepages 🌐
http://pp.ipd.kit.edu/~breitner
E-Mails 📧
ed
.
rentierb-mihcaoj
@
liam
ude
.
nnepu
.
sic
@
mihcaoj
Entries
2017
HOLCF-Prelude
by
Joachim Breitner
,
Brian Huffman
,
Neil Mitchell
and
Christian Sternagel
Jul 15
2016
Surprise Paradox
by
Joachim Breitner
Jul 17
The meta theory of the Incredible Proof Machine
by
Joachim Breitner
and
Denis Lohner
May 20
2015
The Safety of Call Arity
by
Joachim Breitner
Feb 20
2013
The Correctness of Launchbury's Natural Semantics for Lazy Evaluation
by
Joachim Breitner
Jan 31
2011
The General Triangle Is Unique
by
Joachim Breitner
Apr 01
2010
Shivers' Control Flow Analysis
by
Joachim Breitner
Nov 16
Free Groups
by
Joachim Breitner
Jun 24