The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code.
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/Ohori99 ↗
Browse the full FLOPS paper archive.
Browse the full FLOPS paper archive.