Created: 2006-05-17 Last revised: 2016-10-14
This is a web page of
David Casperson
Associate Professor
Computer Science
University of Northern British Columbia

The official Aldor web-site says:

Exit to web pages for

From a technical point of perspective, Aldor is a type-complete, strongly-typed, imperative programming language with a two-level object model of categories and domains (similar to the concept of interfaces and classes in Java). Types and functions are first class entities allowing them to be constructed and manipulated within Aldor programs just like any other value. Pervasive use of dependent types allows static checking of dynamic objects and provides object-oriented features such as parametric polymorphism.

Home Page Site Map construction image
Site Related


About CS …