Page 24

Publication Type	technical report
School or College	College of Engineering
Department	Computing, School of
Creator	Hannon, Laurie Ann
Title	A polymorphic, hierarchical type system for Prolog
Date	1992-08
Description	This thesis develops a polymorphic, hierarchical type system for Prolog that can be checked statically. Type issues unique to Prolog, such as moding and treatment of logical variables, are considered. A type checking specification is defined and an algorithm fulfilling that specification is presented. Finally, the thesis describes the results of adding an implementation of this algorithm to an existing Prolog interpreter.
Type	Text
Publisher	University of Utah
Language	eng
Format Medium	application/pdf
Format Extent	892,470 bytes
File Name	Hannon-A_Polymorphic.pdf
ARK	ark:/87278/s66131jf
Setname	ir_computersa
ID	108288
Reference URL	https://collections.lib.utah.edu/ark:/87278/s66131jf

Title	Page 24
Setname	ir_computersa
ID	108267
Reference URL	https://collections.lib.utah.edu/ark:/87278/s66131jf/108267