Extensions to Standard ML to support transactions (1992)

by J M Wing, M Faehndrich, J G Morrisett, S Nettles
Venue:In Proc. of Workshop on ML and its Applications