A View on Abstract and Extensible Types

Lucília Figueiredo, Carlos Camarão


This paper presents a type declaration construct which provides either a type synonym, a datatype, an abstract type with views, a subtype of an existing type, or a module (collection of declarations), in the style of modern functional programming languages ahich provide support for parametric polymorphism.

Texto completo:


Enlaces refback

  • No hay ningún enlace refback.