Browsing LCS Technical Memos (1974 - 2003) by Author "Riecker, Jon G."

Now showing items 1-1 of 1

    • The Semantics of Miranda's Algebraic Types 

      Bruce, Kim B.; Riecker, Jon G. (1987-08)
      Miranda has two interesting features in its 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 ...