Bull S.A., rue Jean Jaur`es, 78 340 Les Clayes-sous-Bois, France
SVM HeaderParse 0.1
We propose to add sets and maps to Standard ML. Our implementation uses hash-tries to code them, yields fast general-purpose set-theoretic operations, and is based on a run-time where all equal objects are shared. We present evidence that this systematic use of hash-consing, and the use of hash-tries to code sets, provide good performance. 1 Introduction Sets have been an adequate foundation for mathematics for nearly a century, and are also an important conceptual medium in computer science. Modern specification languages like VDM  and Z  are based on sets. But few programming languages provide general-purpose sets and maps: although they could be adequate for prototyping, it is feared that they would be too slow for real applications. We have designed and implemented an extension of Standard ML , called HimML 1  providing fast general (polymorphic) set-theoretic data-structures, and a comprehensive set of efficient operations on them. After mentioning related work...
user correction - Legacy Corrections
In 5th ACM SIGPLAN Workshop on ML and its Applications