`Travelled to:`

1 × Sweden

`Collaborated with:`

∅ R.A.Eisenberg S.P.Jones S.L.P.Jones S.Weirich N.Vazou R.Kunkel D.V.Horn G.Hutton

`Talks about:`

promis (2) haskel (2) prove (2) safe (2) transform (1) function (1) coercion (1) variabl (1) theorem (1) pattern (1)

## Person: Joachim Breitner

### DBLP: Breitner:Joachim

### Contributed to:

### Wrote 5 papers:

- ICFP-2014-BreitnerEJW #haskell #low cost
- Safe zero-cost coercions for Haskell (JB, RAE, SLPJ, SW), pp. 189–202.
- Haskell-2015-Breitner #compilation #proving
- Formally proving a compiler transformation safe (JB), pp. 35–46.
- Haskell-2018-Breitner #testing
- A promise checked is a promise kept: inspection testing (JB), pp. 14–25.
- Haskell-2018-EisenbergBJ
- Type variables in patterns (RAE, JB, SPJ), pp. 94–105.
- Haskell-2018-VazouBKHH #equation #functional #haskell #proving #reasoning #theorem proving
- Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) (NV, JB, RK, DVH, GH), pp. 132–144.