Joachim Breitner

http://pp.ipd.kit.edu/~breitner

2017

HOLCF-Prelude
by Joachim Breitner, Brian Huffman, Neil Mitchell and Christian Sternagel

15 Jul

2016

Surprise Paradox
by Joachim Breitner

17 Jul

The meta theory of the Incredible Proof Machine
by Joachim Breitner and Denis Lohner

20 May

2015

The Safety of Call Arity
by Joachim Breitner

20 Feb

2013

The Correctness of Launchbury's Natural Semantics for Lazy Evaluation
by Joachim Breitner

31 Jan

2011

The General Triangle Is Unique
by Joachim Breitner

01 Apr

2010

Shivers' Control Flow Analysis
by Joachim Breitner

16 Nov

Free Groups
by Joachim Breitner

24 Jun