Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : International Symposium on Trends in Functional Programming (12 ; 2011 ; Madrid, Spain)  Voir les notices liées en tant qu'auteur

Titre(s) : Trends in functional programming [Texte électronique] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011 : revised selected papers / Ricardo Peña, Rex Page (eds.)

Publication : Heidelberg ; New York : Springer, cop. 2012

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science ; 7193
LNCS sublibrary. SL 1, Theoretical computer science and general issues

Note(s) : Includes bibliographical references and index

Autre(s) auteur(s) : Peña, Ricardo (1950-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Page, Rex (1944-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Peña, Ricardo. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : TFP 2011

Sujet(s) : Structures de données (informatique)  Voir les notices liées en tant que sujet
Programmation fonctionnelle (informatique)  Voir les notices liées en tant que sujet
Structure logique -- Logiciels  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.13 (23e éd.) = Programmation des ordinateurs  Voir les notices liées en tant que sujet ; 005.11 (23e éd.) = Méthodes de développement de logiciels ; paradigmes de programmation  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642320378

Identifiant de la notice  : ark:/12148/cb447051670

Notice n° :  FRBNF44705167 (notice reprise d'un réservoir extérieur)

Table des matières : Constraint-Free Type Error Slicing /Thomas Schilling ; Subtyping by Folding an Inductive Relation into a Coinductive One /Vladimir Komendantsky ; Epic ; A Library for Generating Compilers /Edwin Brady ; Towards Modular Compilers for Effects /Laurence E. Day and Graham Hutton
Functory: A Distributed Computing Library for Objective Caml /Jean-Christophe Filliâtre and K. Kalyanasundaram ; ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques /Christopher Brown, Hans-Wolfgang Loidl and Kevin Hammond ; Functional High Performance Financial IT: The Hiperfit Research Center in Copenhagen /Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen and Mogens Steffensen, et al. ; Thread-Safe Priority Queues in Haskell Based on Skiplists /Michael Lesniak
Adams' Trees Revisited: Correctness Proof and Efficient Implementation /Milan Straka ; Functional Video Games in CS1 II: From Structural Recursion to Generative and Accumulative Recursion /Marco T. Morazán ; GiN: A Graphical Language and Tool for Defining iTask Workflows /Jeroen Henrix, Rinus Plasmeijer and Peter Achten ; Applicative Shortcut Fusion /Germán Andrés Delbianco, Mauro Jaskelioff and Alberto Pardo