A Compilation Method for Dynamic Typing in ML.

Atsushi Ohori, Katsuhiro Ueno

Browse the full APLAS paper archive.