ICFP '16 (Record no. 183258)

003 - Identifiant pérenne de la notice
Identifiant pérenne de la notice http://www.sudoc.fr/203369769
005 - numéro d'identification de la version
identification de la version 20191211032854.0
009 - PPN
PPN 203369769
099 ## - Informations locales
date creation notice (koha) 2017-08-21
date modification notice (koha) 2017-08-22
Masqué à l'opac visible à l'OPAC
100 ## - données générales de traitement
données générales de traitement 20170725d2016 k y0frey50 ba
200 1# - titre
Titre propre ICFP '16
Complément du titre Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
-- September 18-24, 2016, Nara, Japan
Auteur(s) secondaire(s) edited by: Jacques Garrigue, Gabriele Keller, Eijiro Sumii
-- sponsored by ACM SIGPLAN
210 ## - éditeur
Lieu de publication New York
Nom de l'éditeur Association for Computing Machinery
Date de publication 2016
215 ## - description
Caractéristiques matérielles 1 vol. (XII-502 p.)
Autres caractéristiques ill.
Format 28 cm
320 ## - note
texte de la note Notes bibliogr. ; Author index (p. 502)
512 ## - titre de couverture
titre de couverture Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP'16)
606 ## - Mot Matière
Numéro de notice d'autorité 040781232
-- ba0yba0y
-- frefre
Element d'entrée Logiciel
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 030510821
Element d'entrée Programmation fonctionnelle (informatique)
Numéro de notice d'autorité 02886431X
Subdivision de sujet Actes de congrès
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 02787432X
Element d'entrée Langages de programmation fonctionnelle
Numéro de notice d'autorité 02886431X
Subdivision de sujet Actes de congrès
Code du système d'indexation rameau
606 ## - Mot Matière
Element d'entrée Langage ML (informatique)
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 027709922
Element d'entrée Compilation (informatique)
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 034147411
Element d'entrée Théorie des types
Numéro de notice d'autorité 027234886
Subdivision de sujet Informatique
Code du système d'indexation rameau
606 ## - Mot Matière
Element d'entrée Interpretation abstraite (informatique)
Code du système d'indexation rameau
702 #1 - nom de personne - mention de responsabilité secondaire
numéro de la notice d'autorité 203370023
Lien 447741
élément d'entrée Garrigue
partie du nom autre que l'élément d'entrée Jacques
code de fonction Editeur scientifique
702 #1 - nom de personne - mention de responsabilité secondaire
numéro de la notice d'autorité 076405958
Lien 447699
élément d'entrée Keller
partie du nom autre que l'élément d'entrée Gabriele
dates 1952-....
code de fonction Editeur scientifique
702 #1 - nom de personne - mention de responsabilité secondaire
numéro de la notice d'autorité 20337004X
Lien 447742
élément d'entrée Sumii
partie du nom autre que l'élément d'entrée Eijiro
code de fonction Editeur scientifique
710 12 - auteur
élément d'entrée ICFP'16
élément ajouté au nom ou qualificatif Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
numéro de congrès et/ou de session 21
lieu du congrès Nara, Japan
date du congrès September 18-24, 2016
code de fonction Auteur
712 02 - collectivité - mention de responsabilité secondaire
Numéro de la notice autorité 080631010
Code Koha Interne 429134
Elément d'entrée Association for computing machinery
Elément ajouté au nom ou qualificatif Etats Unis
Subdivision Special interest group on programming languages
Code de fonction Editeur scientifique
801 #3 - source de catalogage
Date de la transaction 20170725
Holdings
Perdu Origine geographique du document Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique NAR 16 Sur demande Centre de Recherche en Informatique

Powered by Koha