| [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