HimML: Standard ML with fast sets and maps (1994)

by J Goubault
Venue:ACM SIGPLAN Workshop on Standard ML and its Applications