%0 Book %1 StandardML %A Milner, R. %A Harper, R. %A Tofte, M. %D 1990 %I MIT Press %K BPM collection imported %T The Definition of Standard ML

@book{StandardML, added-at = {2012-11-22T19:17:38.000+0100}, author = {Milner, R. and Harper, R. and Tofte, M.}, biburl = {https://www.bibsonomy.org/bibtex/2c174a4f1b5c72fafa245abeef3b708f6/wvdaalst}, interhash = {1144ebdf8770c46e80f6fbc8bffdf4b4}, intrahash = {c174a4f1b5c72fafa245abeef3b708f6}, keywords = {BPM collection imported}, publisher = {MIT Press}, timestamp = {2012-11-22T19:21:30.000+0100}, title = {The Definition of Standard ML}, year = 1990 }