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 : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008 ; revised lectures / / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.)
| Advanced functional programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008 ; revised lectures / / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVI, 331 p.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) |
KoopmanPieter
PlasmeijerM. J (Marinus Jacobus) SwierstraS. Doaitse |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Functional programming (Computer science)
Computer programming |
| ISBN | 3-642-04652-5 |
| Classificazione |
DAT 544f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. |
| Record Nr. | UNINA-9910483763203321 |
| Berlin, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Approaches and applications of inductive programming : third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
| Approaches and applications of inductive programming : third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2010 |
| Descrizione fisica | 1 online resource (IX, 195 p. 14 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
SchmidU (Ute)
KitzelmannEmanuel PlasmeijerM. J (Marinus Jacobus) |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Inductive programming
Functional programming (Computer science) |
| ISBN |
1-280-38580-4
9786613563729 3-642-11931-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using Generic Programming -- Regular Papers -- Inductive Programming: A Survey of Program Synthesis Techniques -- Incremental Learning in Inductive Programming -- Enumerating Well-Typed Terms Generically -- Generalisation Operators for Lists Embedded in a Metric Space -- Porting IgorII from Maude to Haskell -- Automated Method Induction: Functional Goes Object Oriented -- Recent Improvements of MagicHaskeller. |
| Altri titoli varianti | AAIP 2009 |
| Record Nr. | UNINA-9910484298903321 |
| Berlin, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||