BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Benke:Marcin

Contributed to:

FoSSaCS 19991999
Haskell 20052005

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.