A view on abstract and extensibles types
Abstract
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.
Downloads
| Article metrics | |
|---|---|
| Abstract views | |
| Galley views | |
| PDF Views | |
| HTML views | |
| Other views | |








