A kripke logical relation between ML and assembly.

Chung-Kil Hur, Derek Dreyer

Browse the full POPL paper archive.