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.
Central European Functional Programming School : Third Summer School, CEFP 2009 ; Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures / / Zoltan Horvath, Rinus Plasmeijer, Viktoria Zsok (eds.)
| Central European Functional Programming School : Third Summer School, CEFP 2009 ; Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures / / Zoltan Horvath, Rinus Plasmeijer, Viktoria Zsok (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (IX, 391 p. 44 illus., 10 illus. in color.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) |
HorvathZoltan <1962->
PlasmeijerM. J (Marinus Jacobus) ZsokViktoria |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Computer science
Functional programming (Computer science) |
| ISBN |
1-283-47741-6
9786613477415 3-642-17685-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CEFP 2009 |
| Record Nr. | UNINA-9910484626503321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / / Zoltan Horvath (ed.)
| Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / / Zoltan Horvath (ed.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VII, 257 p.) |
| Disciplina | 005.11 |
| Altri autori (Persone) | HorvathZoltan <1962-> |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Functional programming (Computer science) |
| ISBN | 3-540-46845-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach -- The Essence of Dataflow Programming -- Temporal Properties of Clean Programs Proven in Sparkle-T -- Tutorial on Subtype Marks -- Designing Distributed Computational Skeletons in D-Clean and D-Box. |
| Altri titoli varianti | CEFP 2005 |
| Record Nr. | UNINA-9910483082503321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||