Sign in

Program equivalence in an untyped, call-by-value functional language with uncurried functions.

Dániel HorpácsiPéter BereczkySimon J. Thompson
Published in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
  • functional language
  • functional programs
  • functional programming
  • programming language
  • proof planning
  • object identity
  • databases
  • execution model
  • theorem proving
  • high level