Nantilus
Trends in functional programming : 12th International symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised selected papers
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspect...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Trends in functional programming : 12th International symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised selected papers / edited by Ricardo Peña, Rex Page |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham |
| Collection : | Theoretical computer science and general issues (Online) ; 7193 |
| 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 |
| Sujets : | |
| Documents associés : | Autre format:
Trends in Functional Programming Autre format: Trends in Functional Programming |
| LEADER | 03071clm a2200637 4500 | ||
|---|---|---|---|
| 001 | PPN16832086X | ||
| 003 | http://www.sudoc.fr/16832086X | ||
| 005 | 20241001155100.0 | ||
| 010 | |a 978-3-642-32037-8 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-32037-8 |2 DOI |
| 035 | |a (OCoLC)818322706 | ||
| 035 | |a Springer978-3-642-32037-8 | ||
| 035 | |a Springer-11645-978-3-642-32037-8 | ||
| 100 | |a 20130325d2012 k |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 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 Trends in functional programming |e 12th International symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised selected papers |f edited by Ricardo Peña, Rex Page | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |b Springer Nature |d 2012 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7193 | |
| 330 | |a This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, parallelism and distribution, data structures, and miscellaneous. | ||
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7193 | |
| 452 | | | |t Trends in Functional Programming |y 9783642320361 | |
| 452 | | | |t Trends in Functional Programming |y 9783642320385 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Data Structures | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Programming Techniques | |
| 610 | 2 | |a Compilers and Interpreters | |
| 610 | 2 | |a Data Science | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.11 |v 23 | ||
| 680 | |a QA76.6-76.66 | ||
| 700 | 1 | |3 PPN074264915 |a Peña |b Ricardo |4 651 | |
| 701 | 1 | |a Peña |b Ricardo |4 651 | |
| 701 | 1 | |a Page |b Rex |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230301 |g AACR2 | |
| 856 | 4 | |5 441099901:830853278 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-32037-8 | |
| 915 | |5 441099901:830853278 |b SPRING13-00401 | ||
| 930 | |5 441099901:830853278 |b 441099901 |j g | ||
| 991 | |5 441099901:830853278 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:11 | ||
| 997 | |a NUM |b SPRING13-00401 |d NUMpivo |e EM |s d | ||
| 998 | |a 978233 | ||