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

29

click to vote

more FLOPS 1999 ...

www.pllab.riec.tohoku.ac.jp

Tweet