Login / Signup
Program equivalence in a linear functional language.
Gavin M. Bierman
Published in:
J. Funct. Program. (2000)
Keyphrases
</>
functional language
functional programs
functional programming
programming language
proof planning
databases
artificial intelligence
execution model