HimML: Standard ML with fast sets and maps
| Author(s) : | Jean Goubault, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | 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, |