Adding sets to ML: design, implementation and experiments (1993)

by J Goubault