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

Cached

Download Links

by Jean Goubault
Venue:In 5th ACM SIGPLAN Workshop on ML and its Applications
Citations:7 - 2 self

Active Bibliography

5 Implementing Functional Languages with Fast Equality, Sets and Maps: an Exercise in Hash Consing – Jean Goubault - 1994
12 Type-safe modular hash-consing – Jean-christophe FilliĆ¢tre, Sylvain Conchon - 2006
4 Syntax Independent Connections – Jean Goubault - 1993
5 Proving with BDDs and Control of Information – Jean Goubault - 1995
Gedanken: A tool for pondering the tractability of correct program technology – Lars Warren Ericson, Prof Bhubaneswar Mishra, C Lars Warren Ericson - 1994
1 Data Structures – Roberto Tamassia - 1996
6 Deciding Isomorphisms of Simple Types in Polynomial Time – Jeffrey Considine - 2000
44 Selective Memoization – Umut A. Acar, Guy E. Blelloch, Robert Harper
47 Practical pluggable types for Java – Matthew M. Papi - 2008
10 Building and Using Pluggable Type-Checkers – Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Todd W. Schiller
3 Efficient Data Structures for Maintaining Set Partitions (Extended Abstract) – Michael A. Bender, Saurabh Sethia, Steven S. Skiena - 1999
47 Vectorized Garbage Collection – Andrew Appel, Aage Bendiksen - 1990
55 Query Execution Techniques for Caching Expensive Methods – Joseph M. Hellerstein, Jeffrey F. Naughton - 1996
3 SETL for Internet Data Processing – David Bacon - 2000
39 Compiling Language Definitions: The ASF+SDF Compiler – M. G. J. van den Brand, J. Heering, P. Klint, P. A. Olivier - 1999
22 Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same – Henry Baker - 1993
Interpreting LISP – Gary Knott - 1997
Library of Congress Cataloging-in-Publication Data – Harold Abelson, Gerald Jay Sussman, Julie Sussman, Foreword Alan J. Perlis, London England, Mcgraw-hill Book Company
13 Distribution Sort with Randomized Cycling – Jeffrey Scott Vitter, David A. Hutchinson - 2001