Complete First-Order Reasoning for Properties of Functional Programs.

Adithya Murali Lucas Peña Ranjit Jhala P. Madhusudan

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

functional programs
first order logic
term rewriting systems
knowledge base
knowledge representation
lazy evaluation
desirable properties
meta reasoning
functional language