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:
2014
20152018Wrote 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.