Logic programs with polymorphic types: A condition for static type checking

DOI10.1007/3-540-56393-8_35MaRDI QIDQ5881208zbMATH OpenOpenAlexFDO

Authors Staffan Bonnier

Publication date 9 March 2023

Published in Conditional Term Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56393-8_35

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A polymorphic type system for Prolog
• A type system for logic programs
• Horn clause programs with polymorphic types: Semantics and resolution
• scientific article; zbMATH DE number 1497824
• scientific article; zbMATH DE number 1692902

Cites work

• A polymorphic type system for Prolog
• Horn clause programs with polymorphic types: Semantics and resolution
• scientific article; zbMATH DE number 43398 (Why is no real title available?)

Cited in

(16)

• A new type-checker for a functional language
• Horn clause programs with polymorphic types: Semantics and resolution
• scientific article; zbMATH DE number 1692902 (Why is no real title available?)
• scientific article; zbMATH DE number 1696599 (Why is no real title available?)
• Executable relational specifications of polymorphic type systems using Prolog
• scientific article; zbMATH DE number 4155856 (Why is no real title available?)
• scientific article; zbMATH DE number 3928328 (Why is no real title available?)
• scientific article; zbMATH DE number 4090764 (Why is no real title available?)
• scientific article; zbMATH DE number 44623 (Why is no real title available?)
• scientific article; zbMATH DE number 683362 (Why is no real title available?)
• scientific article; zbMATH DE number 1942464 (Why is no real title available?)
• scientific article; zbMATH DE number 1950451 (Why is no real title available?)
• scientific article; zbMATH DE number 5198991 (Why is no real title available?)
• A type system for logic programs
• Polymorphic types in ACL2
• A polymorphic type system for Prolog

This page was built for publication: Logic programs with polymorphic types: A condition for static type checking

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