My thesis clarified the relationships between existing dialects of ML and studied extending ML with support for recursive modules. Solve a critical problem involving the interaction of recursion and data abstraction known as the double vision problem. In other work with Bob Harper and Manuel Chakravarty, I showed how to extend ML with support for overloading and ad hoc polymorphism through Haskell-style type classes. This work exposes connections between ML modules and Haskell type classes, resulting in a unifying account of the two features Andreas and I have developed a novel module system design that addresses one of the key remaining problems with recursive modules, namely separate compilation. This design seamlessly integrates elements of both traditional ML module systems and Bracha-style mixin modules, resulting in a minimalist account of the ML module system that unifies features. A prototype is available
Clontech Laboratories provides kits, reagents, and services that help researchers explore questions about gene discovery, regulation, and function. As the newest member of the Takara Bio Group, Clontech joins a company that holds a leadership position in the global market and is committed to improving the human condition through biotechnology. Clontech’s mission is to develop high-quality innovative tools and services to accelerate discovery.