Euro-Par 2022: parallel processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, proceedings / / José Cano, Phil Trinder, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (443 pages) |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer science
Parallel processing (Electronic computers) |
ISBN | 3-031-12597-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996483158303316 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Euro-Par 2022: parallel processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, proceedings / / José Cano, Phil Trinder, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (443 pages) |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer science
Parallel processing (Electronic computers) |
ISBN | 3-031-12597-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910585973503321 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
FHPC '17 : proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing : September 7, 2017, Oxford, UK / / edited by Phil Trinder and Cosmin Oancea ; sponsored by ACM SIGPLAN |
Pubbl/distr/stampa | New York : , : ACM, , 2017 |
Descrizione fisica | 1 online resource (52 pages) |
Disciplina | 005.114 |
Soggetto topico |
Functional programming (Computer science)
High performance computing |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Functional High-Performance Computing '17 : proceedings of the sixth Association for Computing Machinery Special Interest Group on Programming Languages International Workshop on Functional High-Performance Computing : September 7, 2017, Oxford, United Kingdom
Functional High-Performance Computing 2017 Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing Proceedings of the sixth Association for Computing Machinery Special Interest Group on Programming Languages International Workshop on Functional High-Performance Computing |
Record Nr. | UNINA-9910375855103321 |
New York : , : ACM, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Implementation and Application of Functional Languages [[electronic resource] ] : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers / / edited by Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (X, 230 p.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Computer science Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming |
Classificazione | 54.53 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based Trace Exploration -- Shrinking Reductions in SML.NET -- Dynamic Construction of Generic Functions -- Reasoning About Deterministic Concurrent Functional I/O -- General Homomorphic Overloading -- Simple, Effective Code-Size Reduction for Functional Programs. |
Record Nr. | UNISA-996465707403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation of Functional Languages [[electronic resource] ] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / / edited by Phil Trinder, Greg Michaelson, Ricardo Pena |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (X, 190 p.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Computer science Computer logic Programming Techniques Programming Languages, Compilers, Interpreters Computer Science, general Logics and Meanings of Programs |
ISBN | 3-540-27861-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking in Eden -- With-Loop Scalarization – Merging Nested Array Operations -- Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces -- Polytypic Programming in Haskell. |
Record Nr. | UNISA-996465497103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation of functional languages : 15th international workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 ; revised papers / / [volume editors, Phil Trinder, Greg Michaelson, Ricardo Pena] |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2004 |
Descrizione fisica | 1 online resource (X, 190 p.) |
Disciplina | 005.1/14 |
Altri autori (Persone) |
TrinderPhil
MichaelsonGreg <1953-> PenaRicardo <1950-> |
Collana | Lecture notes in computer science |
Soggetto topico | Functional programming languages |
ISBN | 3-540-27861-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking in Eden -- With-Loop Scalarization – Merging Nested Array Operations -- Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces -- Polytypic Programming in Haskell. |
Altri titoli varianti | IFL 2003 |
Record Nr. | UNINA-9910483349603321 |
Berlin ; ; New York, : Springer, 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
A List of Successes That Can Change the World [[electronic resource] ] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXII, 479 p. 79 illus., 4 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-319-30936-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reactions on Monadic Lenses -- Conation Confers Concurrency -- Counting Successes: Effects and Transformations for Non-deterministic Programs -- The Essence of Inheritance -- Subtyping Supports Safe Session Substitution -- Proof Relevant Parametricity -- Comprehending Ringads -- Dragging Proofs out of Pictures -- Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane -- Cutting out Continuations -- The Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than Listlessness -- The Essence of Dependent Object Types -- Linear lambda-mu Is CP (more or less) -- A Reaction on types -- The Essence of Multi-Stage Evaluation in LMS -- 1ML with Special Effects -- The Computer Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types -- A Delta for Hybrid Type Checking -- Certifying Data in Multiparty Session Types -- Recursion Equations as a Programming Language. . |
Record Nr. | UNISA-996466002903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXII, 479 p. 79 illus., 4 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-319-30936-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reactions on Monadic Lenses -- Conation Confers Concurrency -- Counting Successes: Effects and Transformations for Non-deterministic Programs -- The Essence of Inheritance -- Subtyping Supports Safe Session Substitution -- Proof Relevant Parametricity -- Comprehending Ringads -- Dragging Proofs out of Pictures -- Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane -- Cutting out Continuations -- The Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than Listlessness -- The Essence of Dependent Object Types -- Linear lambda-mu Is CP (more or less) -- A Reaction on types -- The Essence of Multi-Stage Evaluation in LMS -- 1ML with Special Effects -- The Computer Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types -- A Delta for Hybrid Type Checking -- Certifying Data in Multiparty Session Types -- Recursion Equations as a Programming Language. . |
Record Nr. | UNINA-9910484264403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Languages [[electronic resource] ] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings / / edited by Andre Rauber Du Bois, Phil Trinder |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVI, 151 p. 31 illus.) |
Disciplina | 005.13 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Computer science Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Computer Science, general |
ISBN | 3-642-40922-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Exception Handling for Error Reporting in Parsing Expression Grammars -- LuaRocks - A Declarative and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws -- A Double Effect λ-calculus for Quantum Computation -- Boilerplates for Reconfigurable Systems: A Language and Its Semantics -- Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming -- Multiple Intermediate Structure Deforestation by Shortcut Fusion -- Zipper-Based Attribute Grammars and Their Extensions. |
Record Nr. | UNISA-996465425403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings / / edited by Andre Rauber Du Bois, Phil Trinder |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVI, 151 p. 31 illus.) |
Disciplina | 005.13 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Computer science Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Computer Science, general |
ISBN | 3-642-40922-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Exception Handling for Error Reporting in Parsing Expression Grammars -- LuaRocks - A Declarative and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws -- A Double Effect λ-calculus for Quantum Computation -- Boilerplates for Reconfigurable Systems: A Language and Its Semantics -- Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming -- Multiple Intermediate Structure Deforestation by Shortcut Fusion -- Zipper-Based Attribute Grammars and Their Extensions. |
Record Nr. | UNINA-9910484833503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|