Change search
ReferencesLink to record
Permanent link

Direct link
An approach to handling polymorphic types in higher order unification
Number of Authors: 1
1988 (English)Report (Refereed)
Abstract [en]

The higher order unification procedure as formulated by Huet [Hu 75] unifies terms in the simple theory of types [Ch 40]. In this language types are expressed in a very weak language (no quantification, "->" being the only operator). In many applications a stronger type-system is desirable. Lambda Prolog [MN 86], e.g. uses a type system that is in some ways similar to that of ML. This type-system uses implicitly universally quantified variables in the type-expressions. It is not trivial to reformulate the higher order unification procedure for such a theory. This paper describes an implementation of the procedure that tries to overcome some of the problems encountered in such an endeavor. The basic approach taken is to let the types be an integral part of the representation of the terms to be unified. This makes it simpler to instanciate type-variables during the unification process, and to delay the unification of terms with completely unspecified types until such time as more information is gained.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1988, 1. , 12 p.
SICS Research Report, ISSN 0283-3638 ; R88:15
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-22194OAI: diva2:1041738
Original report number R88015.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(1106 kB)3 downloads
File information
File name FULLTEXT01.pdfFile size 1106 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 3 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link