Non-linear type extensions

  • Authors:
  • Bob Brown

  • Affiliations:
  • Hong Kong Polytechnic, Department of Computing, Hong Kong

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract

Type extension is a language facility proposed by N. Wirth and included in the programming language Oberon. The facility allows a type to be created based on another type while maintaining a hierarchic type relationship. This paper gives an introduction to the type extension facility as it is implemented in Oberon and shows how it can be generalised to allow a non-linear type hierarchy to be constructed and discriminated.