| newr |
Quest ---> Language
It does work... All those older programmers out ther would know...
QUantifiErs and SubTypes. Language with a sophisticated
type system. Just as types classify values, "kinds" classify
types and type operators. Explicit universal and existential
quantification over types, type operators, and subtypes.
Subtyping is defined inductively on all type constructions,
including higher-order functions and abstract types.
User-definable higher-order type operators.
"Typeful Programming", Luca Cardelli , RR
45, DEC SRC 1989. |
|
|