A polymorphic type system for Prolog
type: Item
instance of: scholarly article
title: A polymorphic type system for Prolog
zbMATH Open document ID: 0543.68076
DOI: 10.1016/0004-3702(84)90017-1
author: Alan Mycroft
author: Richard A. O'Keefe
published in: Artificial Intelligence
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 3864541
zbMATH Keywords: polymorphic type scheme for Prolog
zbMATH Keywords: type declarations
zbMATH Keywords: type resolution problem
describes a project that uses: ML
MaRDI profile type: Publication
full work available at URL: 0004-3702(84)90017-1
OpenAlex ID: W2038037493
Wikidata QID: Q56059065
cites work: Contributions to the Theory of Logic Programming
cites work: Q3904064
cites work: A theory of type polymorphism in programming
description: scientific article; zbMATH DE number 3864541