Travelled to:1 × United Kingdom
Collaborated with:J.Voigtländer D.Seidel L.Straßburger R.S.Bird J.Gibbons T.Schrijvers
Talks about:understand (1) parametr (1) function (1) backward (1) travers (1) theorem (1) languag (1) idiomat (1) forward (1) prove (1)
Person: Stefan Mehner
DBLP: Mehner:Stefan
Contributed to:
2014
2013Wrote 2 papers:
- PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem
- Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
- Haskell-2013-BirdGMVS #comprehension #traversal
- Understanding idiomatic traversals backwards and forwards (RSB, JG, SM, JV, TS), pp. 25–36.