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.
33rd Symposium on Implementation and Application of Functional Languages / / Pieter Koopman, Peter Achten, editor
| 33rd Symposium on Implementation and Application of Functional Languages / / Pieter Koopman, Peter Achten, editor |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (66 pages) |
| Disciplina | 004 |
| Collana | ACM Other conferences |
| Soggetto topico | Computer science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910633992503321 |
| New York, NY : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Beauty of Functional Code [[electronic resource] ] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / / edited by Peter Achten, Pieter Koopman
| The Beauty of Functional Code [[electronic resource] ] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / / edited by Peter Achten, Pieter Koopman |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 285 p. 31 illus.) |
| Disciplina | 005.114 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-642-40355-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications -- Clean Up the Web!: (Rapid Client-Side Web Development with Clean) -- A Duality of Sorts -- Programming in the λ-Calculus: From Church to Scott and Back -- Modelling Unique and Affine Typing Using Polymorphism -- Evolution of a Parallel Task Combinator -- Beautiful Workflows: A Matter of Taste? -- Parse Your Options -- The Beauty of Declarative Purely Functional Projections -- Finding Palindromes: Variants and Algorithms -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers. |
| Record Nr. | UNISA-996465706103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / / edited by Peter Achten, Pieter Koopman
| The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / / edited by Peter Achten, Pieter Koopman |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 285 p. 31 illus.) |
| Disciplina | 005.114 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-642-40355-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications -- Clean Up the Web!: (Rapid Client-Side Web Development with Clean) -- A Duality of Sorts -- Programming in the λ-Calculus: From Church to Scott and Back -- Modelling Unique and Affine Typing Using Polymorphism -- Evolution of a Parallel Task Combinator -- Beautiful Workflows: A Matter of Taste? -- Parse Your Options -- The Beauty of Declarative Purely Functional Projections -- Finding Palindromes: Variants and Algorithms -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers. |
| Record Nr. | UNINA-9910483842003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||