Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

APLAS
2008
ACM

favoriteEmaildiscussreport

102views Programming Languages» more APLAS 2008»

ML Modules and Haskell Type Classes: A Constructive Comparison

13 years 6 months ago

ML Modules and Haskell Type Classes: A Constructive Comparison

Download www.cse.unsw.edu

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.

Stefan Wehr, Manuel M. T. Chakravarty

Real-time Traffic

APLAS 2008 | Hand Fills | Little Formal Investigation | Programming Languages | Type Class Mechanism |

claim paper

Related Content

» Associated type synonyms

» Modular type classes

» A comparison of c concepts and haskell type classes

» Type inference for unboxed types and first class mutability

» Essential language support for generic programming

» Generalized algebraic data types and objectoriented programming

» Application of Nonbinary LDPC Cycle Codes to MIMO Channels

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	APLAS
Authors	Stefan Wehr, Manuel M. T. Chakravarty

Comments (0)