Commentary on standard ML / Robin Milner and Mads Tofte |
Autore | Milner, Robin <1934-2010 > |
Pubbl/distr/stampa | Cambridge (MA) ; London, : The MIT press, c1991 |
Descrizione fisica | 160 p. ; 24 cm. |
Disciplina |
005.13
005.133 |
Altri autori (Persone) | Tofte, Mads |
Soggetto topico |
ML Elaboratori elettronici - Programmazione - Linguaggio ML |
ISBN |
0262132710
0262631377 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-TO01248503 |
Milner, Robin <1934-2010 > | ||
Cambridge (MA) ; London, : The MIT press, c1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Compiler generators : what they can do, what they might do and what they will probably never do / Mads Tofte |
Autore | Tofte, Mads |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1990 |
Descrizione fisica | XI, 146 p. : ill. ; 25 cm |
Soggetto non controllato | compilatori |
ISBN | 3-540-51471-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000143970203316 |
Tofte, Mads | ||
Berlin [etc.] : Springer-Verlag, copyr. 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Compiler generators : what they can do, what they might do, and what they will probably never do / Mads Tofte |
Autore | Tofte, Mads |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1990 |
Descrizione fisica | XI, 146 p. ; 25 cm |
Disciplina |
005.4
005.453 |
Collana | EATCS monographs on theoretical computer science |
Soggetto topico |
Compilatori |
ISBN |
0387514716
3540514716 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10011945 |
Tofte, Mads | ||
Berlin [etc.], : Springer, c1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
The definition of standard ML / Robin Milner, Mads Tofte and Robert Harper |
Autore | Milner, Robin |
Pubbl/distr/stampa | Cambridge [etc.] : MIT Press, copyr. 1990 |
Descrizione fisica | XI, 101 p. : ill. ; 23 cm |
Disciplina | 005133 |
Soggetto non controllato | linguaggio ml |
ISBN | 0-262-13255-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000248360203316 |
Milner, Robin | ||
Cambridge [etc.] : MIT Press, copyr. 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The definition of Standard ML / Robin Milner, Mads Tofte, and Robert Harper |
Autore | Milner, Robin <1934-2010 > |
Descrizione fisica | XI, 101 p. ; 24 cm. |
Disciplina |
005.13
005.133 |
Soggetto topico |
Elaboratori elettronici - Programmazione - Linguaggio ML
ML |
ISBN |
0262132559
0262631326 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-UBO1731249 |
Milner, Robin <1934-2010 > | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|