topical media & game development

@VR

In  [Dahl92], a type T is characterized as a tuple specifying the set of elements constituting the type T and the collection of functions related to the type T. Since constants may be regarded as zero-ary functions (having no arguments), we will speak of a signature $%S$ or $%S_T$ defining a particular type T. Also, in accord with common parlance, we will speak of the sorts $s \e %S$, which are the sorts (or types) occurring in the declaration of the functions in $%S$.

(C) Æliens 04/09/2009

You may not copy or print any of this material without explicit permission of the author or the publisher. In case of other copyright issues, contact the author.