Page 24

Update Item Information
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

Page Metadata

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