Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, revised selected papers

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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Hinze Ralf (Directeur de publication)
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 :
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Information Systems Applications (incl. Internet)
Software Engineering
Programming Techniques
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Compilers and Interpreters
Computer and Information Systems Applications
Documents associés : Autre format: Implementation and Application of Functional Languages
Autre format: Implementation and Application of Functional Languages
  • 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.