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

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