Well-typed logic programs are not wrong

DOI10.1007/3-540-44716-4_18MaRDI QIDQ2763644zbMATH OpenFDO

Authors Pierre Deransart, Jan-Georg Smaus

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240280

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1950451
• scientific article; zbMATH DE number 2080204
• The head condition and polymorphic recursion
• Logic programs with polymorphic types: A condition for static type checking
• A type system for logic programs

Cited in

(5)

• The head condition and polymorphic recursion
• scientific article; zbMATH DE number 1950451 (Why is no real title available?)
• scientific article; zbMATH DE number 2080204 (Why is no real title available?)
• Logic programs with polymorphic types: A condition for static type checking
• Typed SLD-resolution: dynamic typing for logic programming

This page was built for publication: Well-typed logic programs are not wrong

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