Normal view MARC view ISBD view

ICFP '15 : Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming : August 31 - September 2, 2015, Vancouver, BC, Canada ; edited by: Kathleen Fisher, John Reppy ; sponsored by ACM SIGPLAN

Auteur principal collectivité : ICFP'15, Proceedings of the 2015 ACM SIGPLAN International Conference on Functional Programming, 20, August 31 - September 2, 2015, AuteurAuteur secondaire : : Kathleen, Fisher, Editeur scientifique;Reppy, John H., 1960-...., Editeur scientifiqueAuteur secondaire collectivité : Association for computing machinery, Etats Unis, Special interest group on programming languages, Editeur scientifiquePublication :New York : Association for Computing Machinery, 2015Description : 1 vol. (XI-437 p.) : ill. ; 28 cmBibliographie: Notes bibliogr. ; Author index (p. 437).Sujet - Nom d'actualité : Programmation fonctionnelle (informatique) -- Actes de congrès ;Langages de programmation fonctionnelle -- Actes de congrès ;Théorie des types -- (informatique) ;Théorèmes -- Démonstration automatique -- (informatique) ;Parallélisme (informatique) ;Contrats informatiques ;Compilation (informatique) ;Logiciel ;Structures de données (informatique) Sujet : Langage fonctionnel ;Preuve de théorèmes ;Langage OPENCL ;DSL
Current location Call number Status Date due Barcode
Centre de recherche en informatique
VAN 15 Sur demande CRI06391D

Notes bibliogr. ; Author index (p. 437)

Powered by Koha

//]]>