On The Type Structure of Standard ML (1993)

by Robert Harper , John C. Mitchell
Citations:98 - 13 self