M. Milner. (1991)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.
Аннотация
Commentary and companion piece to "The Definition of Standard ML".
Описание
Commentary and companion piece to "The Definition of Standard ML".
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
%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
}