Sciweavers

APLAS
2005
ACM

A Simple Semantics for Polymorphic Recursion

14 years 6 months ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of efficient algorithms that take advantage of non-uniform data structures and provides key support for generic programming. However, polymorphic recursion is, perhaps, not as broadly understood as it could be and this, in part, motivates the denotational semantics presented here. The semantics reported here also contributes an essential building block to any semantics of Haskell: a model for first-order polymorphic recursion. Furthermore, Haskell-style type classes may be described within this semantic framework in a straightforward and intuitively appealing manner.
William L. Harrison
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where APLAS
Authors William L. Harrison
Comments (0)