LEADER 00930nam  2200289 a 450 
001 9910260642903321
005 20130625161407.0
035   $a(CKB)2670000000263641
035   $a(WaSeSS)Ind00065729
035   $a(EXLCZ)992670000000263641
100   $a20130625d1997||||  ||             |
101 0 $aeng
135   $aur|||||||||||
200 04$aThe definition of standard ML$b[electronic resource] $erevised /$fRobin Milner ... [et al.]
210   $a[Cambridge, Mass.] $cMIT Press$d1997
215   $a1 online resource (xiii, 114 p.)
311   $a0-262-28700-5 
320   $aIncludes bibliographical references and index.
606   $aML (Computer program language)
615  0$aML (Computer program language)
701   $aMilner$b R$g(Robin),$f1934-2010.$0770263
801  0$bWaSeSS
801  1$bWaSeSS
906   $aBOOK
912   $a9910260642903321
996   $aDefinition of Standard ML$91575687
997   $aUNINA