HP Labs Technical Reports

The HP-SL Type Model

Goldsack, Patrick

HPL-91-73
19910820

Keyword(s):

Abstract: The report provides a detailed account of the semantics of the type system of HP-SL. It does this in two ways. The first is informally by example, it privides an outline of the two forms of identifying types and discusses their meaning. The second way it to show that the types of HP-SL form a term algebra, with every type mapping to a specific term of the algebra. Every HP-SL construct to do with types is then given an interpretation by means of the mapping to the algebra and thus provides a semantics for this part of HP-SL. The notion of type correctness is also explained in terms of the mapping to the algebra.

Back to Index