HimML: Standard ML with Fast Sets and Maps (1994)

by Jean Goubault
Venue:In: 5th ACM SIGPLAN Workshop on ML and its Applications