A type-theoretic account of Standard ML (1997)

by Robert Harper, Chris Stone