The Definition of Standard ML

The Definition of Standard ML

by Robert Harper, Robin Milner and Mads Tofte

114 pp., 8 x 10 in,

  • Paperback
  • 9780262631327
  • Published: February 14, 1990
  • Publisher: The MIT Press

$15.00

  • Hardcover
  • 9780262132558
  • Published: February 14, 1990
  • Publisher: The MIT Press

$30.00

Out of print

Other Retailers:

Related Books

Program Proofs
The Definition of Standard ML
The Little MLer
Commentary on Standard ML
Essentials of Compilation
Proof, Language, and Interaction
An Experiential Introduction to Principles of Programming Languages
Structure and Interpretation of Computer Programs
Principles of Abstract Interpretation
The Little Typer