
HP Labs Technical Reports
Click here for full text:
The HPSL Type Model
Goldsack, Patrick
HPL9173
19910820
Keyword(s):
Abstract: The report provides a detailed account of the semantics of the type system of HPSL. 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 HPSL form a term algebra, with every type mapping to a specific term of the algebra. Every HPSL 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 HPSL. The notion of type correctness is also explained in terms of the mapping to the algebra.
Back to Index
