Nantilus
Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, revised selected papers
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | 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 |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 8241 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Sujets : | |
| Documents associés : | Autre format:
Implementation and Application of Functional Languages Autre format: Implementation and Application of Functional Languages |
| LEADER | 04567clm a2200733 4500 | ||
|---|---|---|---|
| 001 | PPN176116621 | ||
| 003 | http://www.sudoc.fr/176116621 | ||
| 005 | 20241001155500.0 | ||
| 010 | |a 978-3-642-41582-1 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-41582-1 |2 DOI |
| 035 | |a (OCoLC)870330519 | ||
| 035 | |a Springer978-3-642-41582-1 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-41582-1 | ||
| 035 | |a Springer-11645-978-3-642-41582-1 | ||
| 100 | |a 20140205d2013 u u0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Implementation and application of functional languages |e 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, revised selected papers |f edited by Ralf Hinze | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d 2013 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 8241 | |
| 330 | |a This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming. | ||
| 359 | 1 | |a 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. | |
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 8241 | |
| 452 | | | |t Implementation and Application of Functional Languages |b Texte imprimé |y 9783642415814 | |
| 452 | | | |t Implementation and Application of Functional Languages |b Texte imprimé |y 9783642415838 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Information Systems Applications (incl. Internet) | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Programming Techniques | |
| 610 | 1 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 610 | 2 | |a Compilers and Interpreters | |
| 610 | 2 | |a Computer and Information Systems Applications | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1015113 |v 23 | ||
| 680 | |a QA76.9.L63 | ||
| 680 | |a QA76.5913 | ||
| 680 | |a QA76.63 | ||
| 700 | 1 | |a Hinze |b Ralf |4 651 | |
| 701 | 1 | |a Hinze |b Ralf |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-41582-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-41582-1 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SNSJ9SP9-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830862641 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-41582-1 | |
| 915 | |5 441099901:830862641 |b SPRING13-01229 | ||
| 930 | |5 441099901:830862641 |b 441099901 |j g | ||
| 991 | |5 441099901:830862641 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:17 | ||
| 997 | |a NUM |b SPRING13-01229 |d NUMpivo |e EM |s d | ||
| 998 | |a 979130 | ||