OXFORD UNIVERSITY COMPUTING LABORATORY

Objects to Unify Type Classes and GADTs

Bruno C. d. S. Oliveira and Martin Sulzmann

info

month

April

note

Submitted to ICFP 2008

year

2008

links

BibTeX

Link (pdf)

related pages

people

Random Image
Random Image
Random Image