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 | ||
| ||
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra
| Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 331 p.) |
| Disciplina | 005.1/14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Compilers (Computer programs) Software engineering Algorithms Machine theory Theory of Computation Programming Techniques Compilers and Interpreters Software Engineering Formal Languages and Automata Theory |
| 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. | UNISA-996465651403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
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 | ||
| ||
Implementation and Application of Functional Languages 25th International Symposium, IFL 2013 : Nijmegen, the Netherlands, 28-30 August, 2013 : revised selected papers
| Implementation and Application of Functional Languages 25th International Symposium, IFL 2013 : Nijmegen, the Netherlands, 28-30 August, 2013 : revised selected papers |
| Autore | Plasmeijer Rinus |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (146 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages
IFL '13 25th symposium on Implementation and Application of Functional Languages, Nijmegen, Netherlands - August 28-30, 2013 |
| Record Nr. | UNINA-9910376377303321 |
Plasmeijer Rinus
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Implementation of Functional Languages [[electronic resource] ] : 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / / edited by Markus Mohnen, Pieter Koopman
| Implementation of Functional Languages [[electronic resource] ] : 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / / edited by Markus Mohnen, Pieter Koopman |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 272 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs |
| ISBN | 3-540-45361-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-determinism Analysis in a Parallel-Functional Language -- Exploiting Implicit Parallelism in Functional Programs with SLAM -- Verifying Generic Erlang Client—Server Implementations -- The Design and Implementation of Glasgow Distributed Haskell -- Implementation Skeletons in Eden: Low-Effort Parallel Programming -- ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry -- Distributed Programming in Haskell with Ports -- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour -- A Usage Analysis with Bounded Usage Polymorphism and Subtyping -- Polygonizing Implicit Surfaces in a Purely Functional Way -- Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs -- Porting the Clean Object I/O Library to Haskell -- Organizing Speculative Computations in Functional Systems -- Improving Cache Effectiveness through Array Data Layout Manipulation in SAC -- The Collective Semantics in Functional SPMD Programming. |
| Record Nr. | UNISA-996465692703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / / edited by Markus Mohnen, Pieter Koopman
| Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / / edited by Markus Mohnen, Pieter Koopman |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 272 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs |
| ISBN | 3-540-45361-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-determinism Analysis in a Parallel-Functional Language -- Exploiting Implicit Parallelism in Functional Programs with SLAM -- Verifying Generic Erlang Client—Server Implementations -- The Design and Implementation of Glasgow Distributed Haskell -- Implementation Skeletons in Eden: Low-Effort Parallel Programming -- ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry -- Distributed Programming in Haskell with Ports -- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour -- A Usage Analysis with Bounded Usage Polymorphism and Subtyping -- Polygonizing Implicit Surfaces in a Purely Functional Way -- Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs -- Porting the Clean Object I/O Library to Haskell -- Organizing Speculative Computations in Functional Systems -- Improving Cache Effectiveness through Array Data Layout Manipulation in SAC -- The Collective Semantics in Functional SPMD Programming. |
| Record Nr. | UNINA-9910143604303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Implementation of Functional Languages [[electronic resource] ] : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / / edited by Pieter Koopman, Chris Clack
| Implementation of Functional Languages [[electronic resource] ] : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / / edited by Pieter Koopman, Chris Clack |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 198 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs |
| ISBN | 3-540-44658-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Using Clean for Platform Games -- Compilation Techniques -- Type-Inference Based Short Cut Deforestation (Nearly) without Inlining -- Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell -- Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language -- On Code Generation for Multi-generator WITH-Loops in SAC -- A Reversible SE(M)CD Machine -- Language Concepts -- The Implementation of Interactive Local State Transition Systems in Clean -- C HASKELL, or Yet Another Interfacing Tool -- Reflections in Opal – Meta Information in a Functional Programming Language -- Haskell-Coloured Petri Nets -- Parallelism -- HaskSkel: Algorithmic Skeletons in Haskell. |
| Record Nr. | UNISA-996465815903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Implementation of Functional Languages : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / / edited by Pieter Koopman, Chris Clack
| Implementation of Functional Languages : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / / edited by Pieter Koopman, Chris Clack |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 198 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs |
| ISBN | 3-540-44658-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Using Clean for Platform Games -- Compilation Techniques -- Type-Inference Based Short Cut Deforestation (Nearly) without Inlining -- Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell -- Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language -- On Code Generation for Multi-generator WITH-Loops in SAC -- A Reversible SE(M)CD Machine -- Language Concepts -- The Implementation of Interactive Local State Transition Systems in Clean -- C HASKELL, or Yet Another Interfacing Tool -- Reflections in Opal – Meta Information in a Functional Programming Language -- Haskell-Coloured Petri Nets -- Parallelism -- HaskSkel: Algorithmic Skeletons in Haskell. |
| Record Nr. | UNINA-9910767557803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||