A Gradual Polymorphic Type System with Subtyping for Prolog

DOI10.4230/LIPICS.ICLP.2012.451zbMath1281.68080OpenAlexW2286255795MaRDI QIDQ5398087

Spyros Hadjichristodoulou

Publication date: 25 February 2014

Full work available at URL: https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#Hadjichristodoulou12

zbMATH Keywords

tablingtype inferencegradual typinganswer subsumptionpolymorphic type system

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• XSB

This page was built for publication: A Gradual Polymorphic Type System with Subtyping for Prolog