4 ms·Calculating Correct Compilers II: Return of the Register Machines [pdf]1 points by matt_d 7y ago