`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:

### Wrote 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.