Typmix: A Framework For Implementing Modular, Extensible Type Systems (2007)

by Thomas Anthony Bergan