cam a22 7 4500 279876254 CHVBK 20201020194936.0 130818s1997 xxu 00 eng|d 0-262-63181-4 http://catalogue.bnf.fr/ark:/12148/cb37544900g uri (NEBIS)004214711 (RERO)R218686060 SzZuIDS NEBIS ETH-INFK s1in rero The definition of Standard ML Robin Milner ... [et al.] Revised Cambridge, Massachussetts The MIT Press 1997 114 S. FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000009236 ethudk SPEZIELLE PROGRAMMIERSPRACHEN ger (ETHUDK)000013708 ethudk ML (langage de programmation) (RERO)A021067349 rero u SPEZIELLE PROGRAMMIERSPRACHEN ger 004*04*05*01*01 nebis E1 u FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP) ger (032) nebis E1 u SPECIAL PROGRAMMING LANGUAGES eng 004*04*05*01*01 nebis E1 u LANGAGES DE PROGRAMMATION SPÉCIFIQUES fre 004*04*05*01*01 nebis E1 u OUVRAGES DE RÉFÉRENCE SPÉCIALISÉS + ENCYCLOPÉDIES SPÉCIALISÉES + MANUELS (TYPE DE DOCUMENT) fre (032) nebis E1 u SPECIALIZED REFERENCE WORKS + SPECIALIZED ENCYCLOPAEDIAS + HANDBOOKS (DOCUMENT TYPE) eng (032) nebis E1 Milner Robin 1934-2010 (DE-588)128466081 BK020000 XK020000 XK020000 E72-20050211 nebis EN RERO RE01046 RE01046 RE010460003 DIUF 1.4.4 TIB 4257 NEBIS E72 E72 E72BI IE.97.12 NEBIS E02 E02 E02MI ZM 543 NEBIS 700 1- Milner Robin 1934-2010 (DE-588)128466081 RERO 700 1- Milner Robin (IDREF)034037535