LEADER 01318nam0 22003373i 450 001 UBO1731249 005 20240712063326.0 010 $a0262132559$bhardback 010 $a0262631326$bpaperback 100 $a20080320d1990 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜The œdefinition of Standard ML$fRobin Milner, Mads Tofte, and Robert Harper 210 $aCambridge (Mass.) [etc.]: The MIT Press$dc1990 215 $aXI, 101 p.$d24 cm. 606 $aElaboratori elettronici$xProgrammazione$xLinguaggio ML$2FIR$3NAPC226152$9I 606 $aML $2FIR$3NAPC226154$9I 676 $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14 676 $a005.133$9SPECIFICI LINGUAGGI DI PROGRAMMAZIONE$v22 700 1$aMilner$b, Robin$f <1934-2010 >$3AQ1V001787$4070$0770263 702 1$aTofte$b, Mads$3AQ1V006400 702 1$aHarper$b, Robert$3RMSV049260 801 3$aIT$bIT-NA0079$c20080320 850 $aIT-BN0095 912 $aUBO1731249 950 0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 005.13 MIL.de$e 0102 0000003745 B A4 1 v.$f3 $h19930913$i19930913 977 $a 01 996 $aDefinition of Standard ML$91575687 997 $aUNISANNIO