scientific article; zbMATH DE number 1497824

MaRDI QIDQ4499245zbMATH OpenFDO

Authors C. Beierle, Reinhold Kloos, Gregor Meyer

Publication date 5 March 2001

zbMATH Keywords

standard Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A polymorphic type system for Prolog
• scientific article; zbMATH DE number 1696599
• A gradual polymorphic type system with subtyping for Prolog
• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)

Cited in

(9)

• scientific article; zbMATH DE number 1696599 (Why is no real title available?)
• Executable relational specifications of polymorphic type systems using Prolog
• Type inference for mobile ambients in Prolog
• Implementing polymorphic typing in a logic programming language
• Pragmatic subtyping in polymorphic languages
• A gradual polymorphic type system with subtyping for Prolog
• Towards Typed Prolog
• Logic programs with polymorphic types: A condition for static type checking
• A polymorphic type system for Prolog

This page was built for publication:

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