Polymorphic types in ACL2

DOI10.4204/EPTCS.152.4MaRDI QIDQ6589547zbMATH OpenFDO

Authors Benjamin Selfridge, Eric Whitman Smith

Publication date 19 August 2024

Full work available at URL https://doi.org/10.4204/EPTCS.152.4

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)