H ? « ‹ ← → › »

Language peer sets for Quest:
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Quest(ID:1516/que009)

alternate simple view
Designed 1989
Published: 1989

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.
Implemented in Modula-3.
References:
  • Cardelli, Luca (1989) Cardelli, Luca "Typeful Programming" RR 45, DEC SRC 1989.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder