LCS Publication Details
Publication Title: THE SEMANTICS OF MIRANDA'S ALGEBRAIC TYPES
Publication Author: Bruce, Kim B.
Additional Authors: Riecke, Jon G.
LCS Document Number: MIT-LCS-TM-335
Publication Date: 8-1-1987
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
Miranda has two interesting features in tis typing system: implicit polymorphism (also known as ML-style polymorphism) and algebraic types. Algebraic types create new types from old and can operate on arbitrary types. This paper argues that functions on types, or type constructors, best represent the meaning of algebraic types.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.