The definition of standard ML [[electronic resource] ] : revised / / Robin Milner ... [et al.] |
Pubbl/distr/stampa | [Cambridge, Mass.], : MIT Press, 1997 |
Descrizione fisica | 1 online resource (xiii, 114 p.) |
Altri autori (Persone) | MilnerR <1934-2010.> (Robin) |
Soggetto topico | ML (Computer program language) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910260642903321 |
[Cambridge, Mass.], : MIT Press, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ML '08 : proceedings of the 2008 ACM SIGPLAN Workshop on ML : Victoria, British Columbia, Canada, September 21, 2008 |
Autore | Sumii Eijiro |
Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2008 |
Descrizione fisica | 1 online resource (106 p.;) |
Collana | ACM Conferences |
Soggetto topico |
ML (Computer program language)
Computer programming Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ML '08 |
Record Nr. | UNINA-9910376167003321 |
Sumii Eijiro | ||
[Place of publication not identified], : Association for Computing Machinery, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ML'06 : proceedings of the ACM SIGPLAN 2006 Workshop on ML : September 16, 2006, Portland, Oregon, USA |
Autore | Kennedy Andrew |
Pubbl/distr/stampa | [Place of publication not identified], : ACM Press, 2006 |
Descrizione fisica | 1 online resource (102 p.;) |
Disciplina | 005.13/3 |
Collana | ACM Conferences |
Soggetto topico |
ML (Computer program language)
Computer programming Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ML '06 |
Record Nr. | UNINA-9910376502603321 |
Kennedy Andrew | ||
[Place of publication not identified], : ACM Press, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ML'07 : proceedings of the 2007 Workshop on ML, Freiburg, Germany, October 5, 2007 |
Autore | Russo Claudio |
Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2007 |
Descrizione fisica | 1 online resource (102 p.;) |
Disciplina | 005.13/3 |
Collana | ACM Conferences |
Soggetto topico |
ML (Computer program language)
Computer programming Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ML '07 |
Record Nr. | UNINA-9910376417003321 |
Russo Claudio | ||
[Place of publication not identified], : Association for Computing Machinery, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Standard ML basis library / / edited by Emden R. Gansner, John H. Reppy [[electronic resource]] |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2004 |
Descrizione fisica | 1 online resource (xiii, 469 pages) : digital, PDF file(s) |
Disciplina | 005.13/3 |
Soggetto topico | ML (Computer program language) |
ISBN |
1-107-14350-0
1-280-47765-2 9786610477654 0-511-54684-X 0-511-19504-4 0-511-19570-2 0-511-19361-0 0-511-31409-4 0-511-19435-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Foreword; Preface; 1 Introduction; 2 Library modules; 3 Top-level environment; 4 General usages; 5 Text; 6 Numerics; 7 Sequential data; 8 Input/Output; 9 Systems programming; 10 Network programming with sockets; 11 Manual pages; Bibliography; General index; SML identifier index; Raised exception index |
Record Nr. | UNINA-9910457740303321 |
Cambridge : , : Cambridge University Press, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Standard ML basis library / / edited by Emden R. Gansner, John H. Reppy [[electronic resource]] |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2004 |
Descrizione fisica | 1 online resource (xiii, 469 pages) : digital, PDF file(s) |
Disciplina | 005.13/3 |
Soggetto topico | ML (Computer program language) |
ISBN |
1-107-14350-0
1-280-47765-2 9786610477654 0-511-54684-X 0-511-19504-4 0-511-19570-2 0-511-19361-0 0-511-31409-4 0-511-19435-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Foreword; Preface; 1 Introduction; 2 Library modules; 3 Top-level environment; 4 General usages; 5 Text; 6 Numerics; 7 Sequential data; 8 Input/Output; 9 Systems programming; 10 Network programming with sockets; 11 Manual pages; Bibliography; General index; SML identifier index; Raised exception index |
Record Nr. | UNINA-9910784423703321 |
Cambridge : , : Cambridge University Press, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Standard ML basis library / / edited by Emden R. Gansner, John H. Reppy |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Cambridge, [England] ; ; New York, : Cambridge University Press, 2004 |
Descrizione fisica | 1 online resource (xiii, 469 pages) : digital, PDF file(s) |
Disciplina | 005.13/3 |
Altri autori (Persone) |
GansnerEmden R. <1950->
ReppyJohn H |
Soggetto topico |
ML (Computer program language)
Programming languages (Electronic computers) |
ISBN |
1-107-14350-0
1-280-47765-2 9786610477654 0-511-54684-X 0-511-19504-4 0-511-19570-2 0-511-19361-0 0-511-31409-4 0-511-19435-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Foreword; Preface; 1 Introduction; 2 Library modules; 3 Top-level environment; 4 General usages; 5 Text; 6 Numerics; 7 Sequential data; 8 Input/Output; 9 Systems programming; 10 Network programming with sockets; 11 Manual pages; Bibliography; General index; SML identifier index; Raised exception index |
Record Nr. | UNINA-9910826817103321 |
Cambridge, [England] ; ; New York, : Cambridge University Press, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|