Dynamic ML without Dynamic Types

BibTeX entry:

@techreport{gilmore97dynamic,
   author = {Stephen Gilmore and Dilsun Kirli and Chris Walton},
   title = {Dynamic {ML} without Dynamic Types},
   institution = {University of Edinburgh},
   number = {ECS-LFCS-97-378},
   month = dec,
   year = {1997},
   url = {http://citeseer.ist.psu.edu/gilmore97dynamic.html}
}