Polymorphic types in ACL2

DOI10.4204/EPTCS.152.4MaRDI QIDQ6589547FDOQ6589547

Authors: Benjamin Selfridge, Eric Whitman Smith 

Publication date: 19 August 2024

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

Mathematics Subject Classification ID

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

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)