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