Login / Signup
A Hoare Logic for Call-by-Value Functional Programs.
Yann Régis-Gianas
François Pottier
Published in:
MPC (2008)
Keyphrases
</>
functional programs
term rewriting systems
logic programs
lazy evaluation
functional language
stochastic grammar
logic programming
databases
high level
programming language
database management systems