Login / Signup
A Curry-Howard Isomorphism for Compilation and Program Execution.
Atsushi Ohori
Published in:
TLCA (1999)
Keyphrases
</>
program execution
multi processor
graph theory
java virtual machine
graph isomorphism
programming course
learning tools