Typmix: A framework for implementing modular, extensible type systems (2007)

by Tom Bergan
Venue:Master’s thesis, UCLA