ML Modules and Haskell Type Classes: A Constructive Comparison

Stefan Wehr and Manuel M. T. Chakravarty

In Proceedings of the Sixth Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, vol. 5356, Bangalore, India. Springer, 2008.

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.

Bibtex

@INPROCEEDINGS{WehrChakravarty2008,
  author = {Stefan Wehr and Manuel M. T. Chakravarty},
  title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
  booktitle = {Proceedings of the Sixth Asian Symposium on Programming Languages and Systems},
  address = {Bangalore, India},
  year = 2008,
  volume = 5356,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}

Resources

Imprint & privacy policy // Last modified: 2024-09-10T10:21:26+02:00