Standard ML- Part I Compiler Baojian Hua [email protected].
Teoria de Los Objetos
Vernacular Type
Roadmap to Atsushi Ohori’s “ A Simple Semantics for ML Polymorphism ”
CS711 Typed Assembly Language Greg Morrisett Cornell University.