Sign in

Complete First-Order Reasoning for Properties of Functional Programs.

Adithya MuraliLucas PeñaRanjit JhalaP. 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