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. © 2008 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Wehr, S., & Chakravarty, M. M. T. (2008). ML modules and haskell type classes: A constructive comparison. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5356 LNCS, pp. 188–204). Springer Verlag. https://doi.org/10.1007/978-3-540-89330-1_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
