%0 Book %1 smlcmt:1991 %A Milner, Mads Tofte Robin %D 1991 %K sml ml %T Commentary on Standard ML %U http://www.itu.dk/people/tofte/publ/1991commentaryBody.pdf %X Commentary and companion piece to "The Definition of Standard ML".

@book{smlcmt:1991, abstract = {Commentary and companion piece to "The Definition of Standard ML".}, added-at = {2006-06-22T17:28:10.000+0200}, author = {Milner, Mads Tofte Robin}, biburl = {https://www.bibsonomy.org/bibtex/2375aaf026adc78550ad173f6ab0e4d19/mobileink}, description = {Commentary and companion piece to "The Definition of Standard ML".}, howpublished = {PDF}, interhash = {407ae5655674a752a0557ced1eabbe95}, intrahash = {375aaf026adc78550ad173f6ab0e4d19}, key = {sml }, keywords = {sml ml}, note = {In this book we seek to explain in depth the meaning of a programming language. We present Standard ML by describing the objects in terms of which a programmer thinks when he is building a program, and how these objects work together; in more formal ter}, timestamp = {2006-06-22T17:28:10.000+0200}, title = {Commentary on Standard ML}, type = {language definition}, url = {http://www.itu.dk/people/tofte/publ/1991commentaryBody.pdf}, year = 1991 }