## 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