Travelled to:
1 × Brazil
Collaborated with:
J.Voigtländer
Talks about:
parametr (1) imprecis (1) semant (1) haskel (1) error (1)
Person: Florian Stenger
DBLP: Stenger:Florian
Contributed to:
Wrote 1 papers:
- TLCA-2009-StengerV #fault #haskell #parametricity #semantics
- Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.