The Natural Dynamic Semantics of Mini-Standard ML (1987)

by D Clement
Venue:TAPSOFT'87, volume 250 of LNCS