Sciweavers

FLOPS
1999
Springer

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

14 years 3 months ago
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
Atsushi Ohori
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where FLOPS
Authors Atsushi Ohori
Comments (0)