Polymorphic types in ACL2

DOI10.4204/EPTCS.152.4MaRDI QIDQ6589547zbMATH OpenFDO

Authors Benjamin Selfridge, Eric Whitman Smith

Publication date 19 August 2024

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Logic programs with polymorphic types: A condition for static type checking
• Algorithm of construction of a type and its realization in the language W
• scientific article; zbMATH DE number 4090764
• scientific article; zbMATH DE number 3907754
• Basic polymorphic typechecking

Cited in

(1)

• Fix your types

This page was built for publication: Polymorphic types in ACL2

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