[1] Actors with multi-headed message receive patterns, June 2008. COORDINATION'08.
[ bib | Talk ]
[2] Principal type inference for GHC-style multi-parameter type classes, November 2006. APLAS'06.
[ bib | Talk ]
[3] Modular generic programming with extensible superclasses, September 2006. WGP'06.
[ bib | Talk ]
[4] Language-based program verification via expressive types, August 2006. PLPV'06.
[ bib | Talk ]
[5] Generalized algebraic data types and all that, August 2006. MSR Redmond.
[ bib | Talk ]
[6] Extracting programs from type class proofs, July 2006. PPDP'06.
[ bib | Talk ]
[7] A framework for extended algebraic data types, April 2006. FLOPS'06.
[ bib | Talk ]
[8] Constraint abduction and constraint handling rules, October 2005. CHR'05.
[ bib | Talk ]
[9] M. Sulzmann. Chameleon: Systematic type system design via constraint handling rules. CHR 2005 invited talk.
[ bib | Talk ]
[10] A type-safe embedding of XDuce into ML, September 2005. ML'05.
[ bib | Talk ]
[11] An implementation of subtyping among regular expression types, November 2004. APLAS'04.
[ bib | Talk ]
[12] Sound and decidable type inference for functional dependencies, April 2004. ESOP'04.
[ bib | Talk ]
[13] Resource usage verification, December 2003. APLAS'03.
[ bib | Talk ]
[14] Interactive type debugging in Haskell, September 2003. Haskell'03.
[ bib | Talk ]
[15] A theory of overloading, October 2002. ICFP'02.
[ bib | Talk ]

This file has been generated by bibtex2html 1.75