A gradual polymorphic type system with subtyping for Prolog

DOI10.4230/LIPICS.ICLP.2012.451MaRDI QIDQ5398087zbMATH OpenOpenAlexFDO

Authors 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

answer subsumptiongradual typingpolymorphic type systemtablingtype inference

Mathematics Subject Classification ID

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

Recommendations

• A polymorphic type system for Prolog
• Towards Typed Prolog
• scientific article; zbMATH DE number 1497824
• scientific article; zbMATH DE number 1696599
• Implementing polymorphic typing in a logic programming language

Cited in

(5)

• scientific article; zbMATH DE number 1497824 (Why is no real title available?)
• Logical types for untyped languages
• Gradual Typing for Annotated Type Systems
• Towards Typed Prolog
• A polymorphic type system for Prolog

Describes a project that uses

Uses Software

• XSB

This page was built for publication: A gradual polymorphic type system with subtyping for Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398087)