Travelled to:1 × The Netherlands
Collaborated with:∅ A.A.0001 A.Bove J.Hughes U.Norell
Talks about:construct (1) character (1) program (1) algebra (1) verifi (1) typabl (1) theori (1) subtyp (1) haskel (1) type (1)
Person: Marcin Benke
DBLP: Benke:Marcin
Contributed to:
1999
2005Wrote 2 papers:
- FoSSaCS-1999-Benke #algebra #ml #type system
- An Algebraic Characterization of Typability in ML with Subtyping (MB), pp. 104–119.
- Haskell-2005-AbelBBHN #haskell #source code #type system #using #verification
- Verifying haskell programs using constructive type theory (AA0, MB, AB, JH, UN), pp. 62–73.