Browse by author
Lookup NU author(s): Dr Jason Steggles
We extend the simple type system of higher-order algebra with transfinite types. We present a general model theory for transfinite higher-order algebra including results on the existence and construction of free and initial models, and a sound and complete equational calculus. We demonstrate the use of transfinite types for modelling polymorphism by specifying a simple polymorphic functional programming language.
Author(s): Steggles LJ
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1995
Pages: 22
Print publication date: 01/01/1995
Source Publication Date: 1995
Report Number: 541
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/541.pdf
