01191nam0-2200385li-450 99000024836020331620180312154751.00-262-13255-90024836USA010024836(ALEPH)000024836USA01002483620001109d1990----km-y0itay0103----baengUS<<The>> definition of standard MLRobin Milner, Mads Tofte and Robert HarperCambridge [etc.]MIT Presscopyr. 1990XI, 101 p.ill.23 cmlinguaggio ml005133Specifici linguaggi di programmazioneMilner,Robin33268Harper,RobertTofte,MadsSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000248360203316005.133 MIL0015358005.13300103262BKSCI1993113020001110USA011715ALANDI9020010321USA01114820020403USA011633PATRY9020040406USA011618Definition of standard ML1502365UNISA