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.
Advanced Functional Programming [[electronic resource] ] : Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text / / edited by John Launchbury, Erik Meijer, Tim Sheard
| Advanced Functional Programming [[electronic resource] ] : Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text / / edited by John Launchbury, Erik Meijer, Tim Sheard |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (VIII, 244 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-70639-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Composing the user interface with Haggis -- Haskore music tutorial -- Polytypic programming -- Implementing threads in Standard ML -- Functional data structures -- Heap profiling for space efficiency -- Deterministic, error-correcting combinator parsers -- Essentials of Standard ML Modules. |
| Record Nr. | UNISA-996465649203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / / edited by Ricardo Rocha, John Launchbury
| Practical Aspects of Declarative Languages [[electronic resource] ] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / / edited by Ricardo Rocha, John Launchbury |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VIII, 265 p. 64 illus., 12 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Software engineering Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-642-18378-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466061803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||