LEADER 01191nam0-2200385li-450 001 990000248360203316 005 20180312154751.0 010 $a0-262-13255-9 035 $a0024836 035 $aUSA010024836 035 $a(ALEPH)000024836USA01 035 $a0024836 100 $a20001109d1990----km-y0itay0103----ba 101 0 $aeng 102 $aUS 200 1 $a<> definition of standard ML$fRobin Milner, Mads Tofte and Robert Harper 210 $aCambridge [etc.]$cMIT Press$dcopyr. 1990 215 $aXI, 101 p.$cill.$d23 cm 610 1 $alinguaggio ml 676 $a005133$9Specifici linguaggi di programmazione 700 1$aMilner,$bRobin$033268 702 1$aHarper,$bRobert 702 1$aTofte,$bMads 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000248360203316 951 $a005.133 MIL$b0015358$c005.133$d00103262 959 $aBK 969 $aSCI 979 $c19931130 979 $c20001110$lUSA01$h1715 979 $aALANDI$b90$c20010321$lUSA01$h1148 979 $c20020403$lUSA01$h1633 979 $aPATRY$b90$c20040406$lUSA01$h1618 996 $aDefinition of standard ML$91502365 997 $aUNISA