Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The definition of standard ML [[electronic resource] ] : revised / / Robin Milner ... [et al.]
| 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
| 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
| ML'06 : proceedings of the ACM SIGPLAN 2006 Workshop on ML : September 16, 2006, Portland, Oregon, USA |
| Autore | Kennedy Andrew J |
| 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 J
|
||
| [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
| 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]]
| 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]]
| 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 | ||
| ||
