Standard ml of new jersey (1991)

by A W Appel, D B MacQueen
Venue:In Proceedings of Third International Symposium on Programming Languages a71d Logic Programming