Compiler generators : what they can do, what they might do, and what they will probably never do /

Autor Tofte, Mads, 1959-
Vydáno 1990

Commentary on Standard ML /

Autor Milner, Robin, Tofte, Mads, 1959-
Vydáno 1991

The Definition of Standard ML /

Autor Milner, Robin, Tofte, Mads, 1959-, Harper, Robert
Vydáno 1990

Proof, language, and interaction : essays in honour of Robin Milner /

Vydáno 2000