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.
Implementation and Application of Functional Languages [[electronic resource] ] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / / edited by Ralf Hinze
| Implementation and Application of Functional Languages [[electronic resource] ] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / / edited by Ralf Hinze |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 241 p. 72 illus.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Application software Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques Computer and Information Systems Applications |
| ISBN | 3-642-41582-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof by Reflection in Agda -- Agda Meets Accelerate -- An Embedded Type Debugger -- Pure and Lazy Lambda Mining: An Experience Report -- Decomposing Metaheuristic Operations. |
| Record Nr. | UNISA-996465429703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / / edited by Ralf Hinze
| Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / / edited by Ralf Hinze |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 241 p. 72 illus.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Application software Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques Computer and Information Systems Applications |
| ISBN | 3-642-41582-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof by Reflection in Agda -- Agda Meets Accelerate -- An Embedded Type Debugger -- Pure and Lazy Lambda Mining: An Experience Report -- Decomposing Metaheuristic Operations. |
| Record Nr. | UNINA-9910483478103321 |
| 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 | ||
| ||
Mathematics of Program Construction [[electronic resource] ] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / / edited by Ralf Hinze, Janis Voigtländer
| Mathematics of Program Construction [[electronic resource] ] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / / edited by Ralf Hinze, Janis Voigtländer |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 323 p. 44 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Mathematical logic Software engineering Computer science—Mathematics Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Discrete Mathematics in Computer Science Programming Languages, Compilers, Interpreters Math Applications in Computer Science |
| ISBN | 3-319-19797-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics. |
| Record Nr. | UNISA-996198522003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / / edited by Ralf Hinze, Janis Voigtländer
| Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / / edited by Ralf Hinze, Janis Voigtländer |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 323 p. 44 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Mathematical logic Software engineering Computer science—Mathematics Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Discrete Mathematics in Computer Science Programming Languages, Compilers, Interpreters Math Applications in Computer Science |
| ISBN | 3-319-19797-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics. |
| Record Nr. | UNINA-9910484217903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||