Submitted, 2007.
Abstract
Researchers repeatedly observed that the module system of ML
and the type class mechanism of Haskell are related.
So far, this relationship has received little formal investigation.
The work at hand fills this gap:
It introduces type-preserving translations from modules
to type classes and vice versa, which enable a thorough
comparison of the two concepts.
PDF version (15 pages)
This page is part of Manuel Chakravarty's WWW-stuff.