Publication details

Saarland University Computer Science

Logic Programming over Polymorphically Order-Sorted Types

Gert Smolka

PhD Thesis, Fachbereich Informatik,Universitšt Kaiserslautern, May 1989

This thesis presents the foundations for relational logic programming over polymorphically order-sorted data types. This type discipline combines the notion of parametric polymorphism, which has been developed for higher-order functional programming, with the notion of order-sorted typing, which has been developed for equational first-order specification and programming. Polymorphically order-sorted types are obtained as canonical models of a class of specifications in a suitable logic accommodating sort functions. Algorithms for constraint solving, type checking and type inference are given and proven correct. Dissertation, Fachbereich Informatik,Universitšt Kaiserslautern Kaiserslautern, Germany.

Download PDF        Show BibTeX               


Login to edit


Webmaster, Wed Sep 16 10:47:00 2009