030510821
1991-03-08
2023-06-13T06:08:15
12191053
Programmation fonctionnelle (informatique)
Langages de programmation fonctionnelle
Programmation (informatique)
621
Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / Julio Mariño (ed.) / Berlin : Springer , cop. 2011
Research topics in functional programming / [Institute of declarative programming] ; edited by David A. Turner / Reading (Mass.) : Addison-Wesley , cop. 1990
Programming in Scheme : learn Scheme through artificial intelligence programs / Mark Watson / New York : Springer , cop. 1996
Étude et évaluation du parallélisme dans les langages fonctionnels : une approche de la réduction de graphe par les combinateurs / Marie-Hélène Durand Dat ; sous la direction de Michel Lemaître / [S.l.] : [s.n.] , 1986
Analyse et programmation avancée en C : modularité, récursivité, arbres et fichiers : avec plus de deux cents (200) exercices : manuel des écoles, instituts et universités, 1e et 2e années des filières informatique / Mahamadou Issoufou Tiado / Paris : L'Harmattan
Programmez avec un moteur 3D : 100 % open source et réelle alternative a Unity / Colmar : Les éditions Diamond , 2020
Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming, 13-15 August 1990, Ullapool, Scotland / Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, eds / London : Springer-Verlag , cop. 1991
ICFP '11 : proceedings of the 2011 ACM SIGPLAN International conference on functional programming : September 19-21, 2011, Tokyo / sponsored by: ACM SIGPLAN / New York : Association for Computing Machinery , 2011
Functional programming for Java developers [Ressource électronique] : tools for better concurrency, abstraction, and agility / Dean Wampler / Sebastopol (Calif.) : O'Reilly , 2011
Trends in functional programming : 11th International symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised selected papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók / Berlin, Heidelberg : Springer Berlin Heidelberg
Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / Michael Hanus, Atsushi Igarashi / Cham : Springer International Publishing
Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text / J. Launchbury, E. Meijer, T. Sheard (eds.) / Berlin : Springer
Becoming functional / Joshua Backfield / Beijing : O'Reilly , 2014, cop. 2014
Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7–9, 2001 : proceedings / [edited by] Herbert Kuchen, Kazunori Ueda / Berlin [etc.] : Springer
JFLA 2011 / [Actes des vingt-deuxièmes journées francophones des langages applicatifs] / Paris : Hermann
Central European functional programming school : Second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures / Zoltan Horvath, Rinus Plasmeijer, Anna Soós ... [et al.] (eds.) / Berlin : Springer , cop. 2008
ICFP '07 : proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming : Freiburg, Germany, October 1-3, 2007 / sponsored by ACM SIGPLAN / New York : Association for Computing Machinery , c2007
Pôle programmation fonctionnelle du GDR programmation : 21 septembre 1994, Lille / G.D.R. programmation du C.N.R.S. / [S.l. : s.n.] , [1994 ?]
Mathematical foundations of programming semantics : proceedings / of the eleventh conference on the mathematical ... (MFPS XI), New Orleans, from march 29 to april 1, 1995 ; eds. Stephen Brookes, Michael Mislove / Amsterdam : Elsevier , 1999
Modèles de programmation et supports exécutifs pour architectures hétérogènes / Sylvain Henry ; sous la direction de Denis Barthou et de Alexandre Denis / , 2013
Introduction to functional programming / Richard Bird,... Philip Wadler,... / New York (N.Y.) : Prentice Hall , cop. 1988
Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text / Johan Jeuring, Erik Meijer, eds / Berlin : Springer , cop. 1995
An introduction to functional programming through lambda calculus / Greg Michaelson,... / Mineola (N. Y.) : Dover publications
Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / edited by Masami Hagiya, Philip Wadler. / 1st ed. 2006. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2006
Computational semantics with functional programming [Ressource électronique] / Jan van Eijck and Christina Unger
Majeure algèbre, informatique : langage LISP et programmation fonctionnelle cours SCHEME, 2eme partie promotion 1990 (1ere année) / Christian Queinnec, Georges Gonthier, Bruno Salvy, Paul Zimmermann / Palaiseau : École polytechnique , 1992
Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / edited by Santiago Escobar. / Berlin, Heidelberg : Springer Berlin Heidelberg
The functional treatment of parsing / by René Leermakers / Boston : Kluwer Academic Publishers , cop. 1993
Functional and logic programming : 4th Fuji International Symposium, FLOPS’99, Tsukuba, Japan, November 11-13, 1999 : proceedings / [edited by] Aart Middeldorp, Taisuke Sato / Berlin [etc.] : Springer
WCFLP '05 : September 29, 2005, Tallinn, Estonia : proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN) / New York, N.Y. : Association for Computing Machinery , cop. 2005
A tight, practical integration of relations and functions / Harold Boley / Berlin : Springer
An introduction to functional programming through Lambda calculus / Greg Michaelson / Berkshire (U.K.) : Addison-Wesley Publishing Company
Semantics and compilation of sequential treams into a static simd code for the declarative data-parallel language 8 1/2 / De Vito, D / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1996
Functional programming : languages, tools, and architectures / editor, S. Eisenbach / Chichester [West Sussex] : E. Horwood , 1987
Grammaires attribuées comme transducteurs d'arbres et leur composition descriptionnelle / Rodrigue Tchougong Ngongang ; [sous la direction de] Éric badouel / Lille : Atelier national de reproduction des thèses , 2012
Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.) / Berlin : Springer , cop. 2010
Types pour des langages de programmation orientée d'objet et fonctionnelle / Silvia Likavec ; sous la direction de Marc Daumas et Pierre Lescane / [S.l.] : [s.n.] , 2004
The functional approach to programming / Guy Cousineau, Michel Mauny / Cambridge : Cambridge University Press , 1998
The fun of programming / edited by Jeremy Gibbons and Oege de Moor / Basingstoke : Palgrave Macmillan , 2003, cop. 2003
Central European Functional Programming School : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók. / Berlin, Heidelberg : Springer Berlin Heidelberg
Définition de primitives fonctionnelles : proposition d'une classification des applications et des méthodes associées : projet Lapage / par Danièle Hérin / [Lieu de publication inconnu] : [Éditeur inconnu] , 1978
Preuves formelles pour le calcul d'enveloppes convexes dans le plan avec des hypercartes [Ressource électronique] / Christophe Brun ; [sous la direction de] Jean-François Dufourd et Nicolas Magaud / Strasbourg : Université de Strasbourg , 2011
ML for the working programmer / Lawrence C. Paulson,... / [First paperback edition (with corrections)] / Cambridge : Cambridge university press , 1992
Functional programming using F# / Michael R. Hansen,... Hans Rischel,... / Cambridge : Cambridge University press , cop. 2013
Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings / edited by Matthias Blume, Naoki Kobayashi, Germán Vidal. / Berlin, Heidelberg : Springer Berlin Heidelberg
Functional programming and its applications : an advanced course / edited by J. Darlington, P. Henderson, D.A. Turner / Cambridge : Cambridge University Press
Functional JavaScript / Michael Fogus ; [forewords by Steve Vinoski & Jeremy Ashkenas] / Sebastopol (Calif.) : O'Reilly , cop. 2013
ALGOL-like languages - Volume 1 / ed. by Peter W. O'Hearn and Robert D. Tennent / Boston : Birkhauser , cop. 1997
The well-grounded Java developer : vital techniques of Java 7 and polyglot programming / Benjamin J. Evans, Martijn Verburg ; [foreword by dr. Heinz Kabutz] / Shelter Island (N.Y.) : Manning , cop. 2013
Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada / Thérèse Accart Hardin,... Véronique Donzeau-Gouge Viguié,... / Paris : InterEditions , DL 1992
Functional programming using standard ML / Åke Wikström,... / London, [etc.] : Prentice Hall , cop. 1987
Grokking functional programming / Michal Plachta / Shelter Island : Manning Publications
Advanced Functional Programming : Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text / edited by John Launchbury, Erik Meijer, Tim Sheard. / Berlin [etc.] : Springer
Data structures and algorithms with Scala : a practitioner's approach with emphasis on functional programming / Bhim P. Upadhyaya / Cham : Springer
Grokking simplicity : taming complex software with functional thinking / Eric Normand ; foreword by Guy Steele and Jessica Kerr / Shelter Island, NY : Manning Publications Company
Foundations of Logic and Functional Programming : Workshop Trento, Italy, December 15–19, 1986 Proceedings / edited by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi. / Berlin [etc.] : Springer
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation / Thomas Pinsard ; sous la direction de Frédéric Loulergue / , 2014
Vers une certification de l'extraction de coq / Stéphane Glondu ; sous la direction de Roberto di Cosmo / [S.l.] : [s.n.] , 2012
Purely functional data structures / Chris Okasaki,... / Cambridge (GB) : Cambridge University Press
Functional programming : proceedings of the 1989 Glasgow workshop, 21-23 August 1989, Fraserburgh, Scotland / Kei Davis and John Hughes (eds.) / London : Springer-Verlag , cop. 1990
Méthodes d'optimisation et de parallélisation pour la radio logicielle / Adrien Cassagne ; sous la direction de Denis Barthou et de Christophe Jego / , 2020
Initiation à la programmation de l'analyse numérique : listes et récursivité OCAML-ERLANG / Gérald Jean-Baptiste / Toulouse : Cépaduès-éditions , 2012
Trends in functional programming : 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers / Rex Page, Zoltan Horvath, Viktória Zsók (eds.) / Berlin : Springer
Cours d'informatique : langages et programmation / P.-C. Scholl,... M.-C. Fauvet,... F. Lagnier,... [et al.] ; préface de M. Sintzoff / Paris : Masson
Langages et algorithmes du graphique : journées : articles / Rennes : IRISA , 1989
Étude et évaluation du parallélisme dans les langages fonctionnels : une approche de la réduction de graphe par les combinateurs / Marie-Hélène Durand Dat ; sous la direction de Michel Lemaître / Grenoble : Atelier national de reproduction des thèses , 1986
Stratégies efficaces et modèles d'implantation pour les langages fonctionnels / par François-Régis Sinot ; sous la direction de Jean-Pierre Jouannaud / [S.l.] : [s.n.] , 2006
Un environnement pour la programmation avec types dépendants / Matthieu Sozeau / Villeurbanne : [CCSD] , 2011
Synthèse de circuits digitaux synchrones par transformations de programmes fonctionnels / Kamel Kessaci ; sous la direction de Michel Lemaitre / Grenoble : Atelier national de reproduction des thèses , 1992
Aspects formels de machines de vision / Jean-François Poiraudeau ; sous la direction de R. Berland / , 1989
ICFP '12 : proceedings of the 2012 ACM SIGPLAN International conference on functional programming : September 9-15, 2012, Copenhagen, Denmark / sponsored by ACM SIGPLAN / New York : Association for Computing Machinery , 2012
Spécification et compilation d'un langage de haut niveau pour l'optimisation combinatoire : CLAIRE vers Java / François-Xavier Josset ; sous la dir. de Catherine Roucairol / [S. l.] : [s. n.] , 2002
Approche fonctionnelle des calculs scientifiques : méthodes numériques et applications : langage Python / Gérald Jean-Baptiste / Toulouse : Cépaduès-Éditions , DL 2016
ICFP '14 : proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming : September 1-3, 2014, Gothenburg, Sweden / sponsored by ACM SIGPLAN / New York : Association for Computing Machinery , 2014
Pearls of functional algorithm design / Richard Bird,... / New York : Cambridge University Press , cop. 2010
Programmation fonctionnelle : appliquée à l'analyse numérique matricielle : spécifications & [et] applications / Alain Couturier,... Gerald Jean-Baptiste,... / Toulouse : Cépadues éd. , DL 2002
Learn physics with functional programming : a hands-on guide to exploring physics with Haskell / by Scott N. Walck / San Francisco : No Starch Press , [2023]
Pattern calculus : computing with functions and structures / Barry Jay / Berlin : Springer , cop. 2009
Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle / par Cédric Joffroy / Villeurbanne : [CCSD] , 2011
Functional and constraint logic programming : 20th international workshop, WFLP 2011, Odense, Denmark, July 19, 2011 : proceedings / Herbert Kuchen (ed.) / Berlin : Springer , cop. 2011
Vers une certification de l'extraction de coq / Stéphane Glondu ; sous la direction de Roberto di Cosmo / Lille : Atelier national de reproduction des thèses , 2012
Extension de ML avec raffinement : syntaxe, sémantiques et système de types / Julien Signoles ; sous la direction de [Christine Paulin] / Grenoble : Atelier national de reproduction des thèses , 2006
Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds.) / New York : Springer
Preservation of termination for explicit substitution / door Carolus Johannes Bloo / [S.l.] : [S. n.] , 1997
Les accepteurs : un nouveau modèle de programmation / Marc Dikötter / Lausanne : Presses polytechniques et universitaires romandes , 1993
Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle / Catherine Lucquiaud-Pilière ; sous la dir. de Philippe de Groote / , 2001
Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures / edited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra. / Berlin, Heidelberg : Springer Berlin Heidelberg
Programmation fonctionnelle appliquée aux calculs scientifiques Tome I, Méthodes numériques & applications : Objective CAML / Alain Couturier,..., Gérald Jean-Baptiste,... / Toulouse : Cépaduès éd. , DL 2007
Central european functional programming school : third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 : revised selected lectures / Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók (eds.) / Berlin : Springer , cop. 2010
The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride / Cambridge (Mass.) : The MIT Press
Functional programming and input/output / Andrew D. Gordon / Cambridge [England] : Cambridge University Press , 1994
ICFP'03 : Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, August 25-29, 2003, Uppsala, Sweden / sponsored by the Association for computing Machinery, Special Interest group on Programming languages (SIGPLAN)... / New York, N. Y. : ACM Press , cop. 2003
Approche fonctionnelle de la programmation / Guy Cousineau,... et Michel Mauny,... / Paris : Ediscience international , 1995, cop. 1995
Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers / Santiago Escobar (ed.) / Berlin : Springer , cop. 2010
Typer la désérialisation sans sérialiser les types / Grégoire Henry ; sous la direction de Emmanuel Chailloux et Michel Mauny / [S.l.] : [s.n.] , 2011
Advanced functional programming : 6th international school, AFP 2008, Heijen, The Netherlands, May 19-24, 2008 : revised lectures / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.) / Berlin : Springer , cop. 2009
Functional and constraint logic programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers / Julio Mariño (ed.) / Berlin, Heidelberg : Springer Berlin Heidelberg
Preuves formelles pour le calcul d'enveloppes convexes dans le plan avec des hypercartes / Christophe Brun ; [sous la direction de] Jean-François Dufourd et Nicolas Magaud / Lille : Atelier national de reproduction des thèses , 2010
Un environnement pour la programmation avec types dépendants / Matthieu Sozeau ; [sous la direction de] Mme Christine Paulin-Mohring / [s.l.] : [s.n.] , 2008
ICFP '10 : proceedings of the 2010 ACM SIGPLAN International conference on functional programming : September 27-29, 2010, Baltimore, Maryland, USA / sponsored by ACM SIGPLAN / New York : Association for Computing Machinery , 2010
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 / New York : Association for Computing Machinery , 2015
La programmation inventive / par Xavier de La Tullaye / Lagny-sur-Marne : P.S.I , 1984
Preuves formelles pour le calcul d'enveloppes convexes dans le plan avec des hypercartes / Christophe Brun ; [sous la direction de] Jean-François Dufourd et Nicolas Magaud / , 2010
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs [Ressource électronique] : sémantiques, implantations et certification / Frédéric Gava ; directeur, Frédéric Loulergue,.. / Créteil : Université de Paris-Val-de-Marne , 2005
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs : sémantiques, implantations et certification / Frédéric Gava ; directeur, Frédéric Loulergue,.. / [S.l.] : [s.n.] , 2005
Applications of functional programming / ed. by Colin Runciman,... David Wakeling,... / London : UCL press , 1995
Langages et algorithmes du graphique : journées AFCET-GROPLAN, Toulouse, 30 Novembre - 2 Décembre, 1988 / Association Française pour la Cybernétique Economique et Théorique / Rennes : IRISA , 1989
TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari. / Berlin [etc.] : Springer
Multiparadigm programming in Leda / Timothy Budd / Reading, Mass. : Addison-Wesley , c1995
Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / edited by Tarmo Uustalu, Varmo Vene. / Berlin, Heidelberg : Springer Berlin Heidelberg
Elements of ML programming : ML 97 edition / Jeffrey D. Ullman / [2nd ed.] / Upper Saddle River (N.J.) : Prentice Hall , cop. 1998
Algol-like languages - Volume 2 / Ed. by Peter W. O'Hearn and Robert D. Tennent / Boston : Birkhauser , cop. 1997
Langages applicatifs et machines abstraites pour la couverture de code structurelle / Philippe Wang ; sous la direction de Emmanuel Chailloux / [S.l.] : [s.n.] , 2012
Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité / Fabienne Carrier,... Pascal Lafourcade,... Laurent Mounier,... / Paris : Ellipses , DL 2014
Techniques d'optimisation Tome 2, Optimisation discrète et fonctionnelle / Max Cerf / [Les Ulis] : EDP Sciences , DL 2022
Functional programming with scala / Michael Pilquist, Rúnar Bjarnason, Paul Chiusano ; [foreword by Martin Odersky and Daniel Spiewak] / 2nd edition / Shelter Island (N.Y.) : Manning
Functional programming in scala / Paul Chiusano, Runar Bjarnason ; [foreword by Martin Odersky] / Shelter Island (N.Y.) : Manning
Contribution à la définition d'un modèle de calcul fonctionnel paralèlle / Béatrice Markhoff ; sous la direction de J. Julliand / [S.l.] : [s.n.] , 1995
Logical foundations of functional programming / edited by Gérard Huet,.... / Reading, Mass. : Addison-Wesley publ. co. , cop. 1990
The definition of Standard ML / Robin Milner, Mads Tofte, and Robert Harper / Cambridge, Mass. : MIT Press , cop. 1990
FDPE '05 : September 25, 2005, Tallinn, Estonia : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN) / New York, N.Y. : Association for Computing Machinery , cop. 2005
The Haskell school of expression : learning functional programming through multimedia / Paul Hudak,.. / Cambridge : Cambridge University Press , cop. 2000
Mini manuel de programmation fonctionnelle : cours + exos / Éric Violard,... / Paris : Dunod , 2014
Assistance à l'utilisation d'un environnement interactif : apprentissage des habitudes de l'utilisateur / Jean-David Ravini ; sous la direction de Joël Quinqueton / Grenoble : Atelier national de reproduction des thèses , 2000
Mini manuel de programmation fonctionnelle : cours + exos corrigés / Éric Violard,... / Paris : Dunod , DL 2014
F# for scientists / Jon Harrop,... ; foreword by Don Syme / Hoboken, N.J. : John Wiley , cop. 2008
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14 - 21, 2004 : revised lectures / Varmo Vene, Tarmo Uustalu (Eds.) / Berlin : Springer , cop. 2005
Advanced functional programming : Third International School, AFP’98, Braga, Portugal, September 12-19, 1998 : revised lectures / [edited by] S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira / Berlin [etc.] : Springer
Débuter la programmation avec Scheme / Jean-Christophe Routier, Eric Wegrzynowski / Paris [etc.] : International Thomson publishing France , DL 1997, cop. 1997
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01) : Florence, Italy, Sept. 3-5, 2001 / Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for programming Languages and Systems & Cybertex / New York, N.Y. : ACM Press , cop. 2001
La programmation fonctionnelle : introduction et applications en Haskell à l'usage de l'étudiant et du développeur / Julien Dehos / Paris : Ellipses
Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 / Kevin Hammond, David N. Turner, and Patrick M. Sansom (Eds.) / London : Springer , cop. 1995
Applicative high order programming : the standard ML perspective / S. Sokolowski / London : Chapman & Hall Computing , 1991
Intercepting functions for memoization / Arjun Suresh ; sous la direction de Erven Rohou et de André Seznec / , 2016
An introduction to functional programming systems using Haskell / Antony J.T. Davie / Cambridge : Cambridge University Press , cop. 1992
Functional and Constraint Logic Programming : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings / edited by Herbert Kuchen. / Berlin, Heidelberg : Springer Berlin Heidelberg
Functional programming, Glasgow 1992 : proceedings / of the 1992 Glasgow workshop on ..., Ayr, Scotland, 6-8 July 1992 ; ed. by John Launchbury and Patrick Sansom / Oxford : British computer society , cop. 1993
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96) : Philadelphia, Pennsylvania, May 24-26, 1996 / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN) in association with IFIP Working Group 2.8 on Functional Programming / New York N.Y. : Association for Computing Machinery , c1996
Contribution à la définition d'un modèle de calcul fonctionnel paralèlle / Béatrice Markhoff ; sous la direction de J. Julliand / Grenoble : Atelier national de reproduction des thèses , 1995
Professional functional programming in C# : classic programming techniques for modern projects / Oliver Sturm / Chichester (West Sussex, U.K.) : Wiley , 2011
Langages applicatifs et machines abstraites pour la couverture de code structurelle / Philippe Wang / Villeurbanne : [CCSD] , 2012
ICFP '13 : proceedings of the 2013 ACM SIGPLAN International conference on functional programming : September 25-27, 2013, Boston(Massachusetts), USA / sponsored by ACM SIGPLAN / New York : Association for Computing Machinery , 2013
Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók. / Berlin, Heidelberg : Springer Berlin Heidelberg
Types pour des langages de programmation orientée d'objet et fonctionnelle / Silvia Likavec ; sous la direction de Marc Daumas et Pierre Lescane / Grenoble : Atelier national de reproduction des thèses , 2004
A tight, practical integration of relations and functions / Harold Boley / Berlin [etc.] : Springer
Real World OCaml: Functional Programming for the Masses / Anil Madhavapeddy, Yaron Minsky / Second edition / Cambridge : Cambridge University Press , 2022
Gentzen : selected papers / presented at, or inspired by the final "Gentzen" conference held in Rome, 3-5 october 1996 ; eds. C. Böhm, I. Guessarian / Amsterdam : Elsevier , 1999
Grammaires attribuées comme transducteurs d'arbres et leur composition descriptionnelle / Rodrigue Tchougong Ngongang ; [sous la dir. de] Éric badouel / [S.l.] : [s.n.] , 2012
ICFP'05 : September 26-28, 2005, Tallinn, Estonia : Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming / Sponsored by the Association for computing Machinery, Special Interest Group on Programming Languages (SIGPLAN) / New York : ACM Press , cop. 2005
The functional approach to data management : modeling, analyzing, and integrating heterogeneous data / edited by Peter M.D. Gray, Larry Kerschberg, Alexandra Poulovassilis ... [et al.] / Berlin : Springer , cop. 2004
Haskell : the craft of functional programming / Simon Thompson / 2nd ed. / Harlow (England) : Addison-Wesley , cop. 1999
Implémentation du modèle MaRS sur station monoprocesseurs SPARC SUN puis sur machine multiprocesseurs PARAGON / par Francis Caudal / Toulouse : Cnam , 1995
La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul / Emmanuel Saint-James ; avec une préface de: Jacques Arsac / Paris : Hermès , Imp. 1993
Etude de faisabilité du modèle MaRS avec des composants standard / par Michel Magnin
La programmation : une approche fonctionnelle et récursive avec Scheme / Stéphane Ducasse, Laurent Arditi ; préface de Gérard Huet / Paris : Eyrolles , DL 1996
Recueil de petits problèmes en Scheme / L. Moreau, C. Queinnec, D. Ribbens, M. Serrano / Berlin : Springer , cop. 1999
Compilation et exécution multiflot de programmes fonctionnels parallèles sur calculateurs à mémoires distribuées / Laurent Fournerie ; sous la direction de Bernard Lécussan / [S.l.] : [s.n.] , 1999
Apprendre à programmer avec OCaml : algorithmes et structures de données / Sylvain Conchon et Jean-Christophe Filliâtre / Paris : Eyrolles , DL 2014
Computational semantics with functional programming / Jan van Eijck and Christina Unger / Cambridge : Cambridge University Press
Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures / [edited by] Johan Jeuring, Simon Peyton Jones / Berlin [etc.] : Springer
Vérification de transformations de données arborescentes : les transducteurs d'arbres appliqués à un problème de vérification sur des scripts shell / Paul D. Gallot ; sous la direction de Sylvain Salvati et de Aurélien Lemay / , 2021
Call-by-push-value : a functional-imperative synthesis / by Paul Blain Levy / Dordrecht : Kluwer Academic Publishers , cop. 2003
Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.) / Berlin : Springer-Verlag , cop. 1993
Get programming with Haskell / Will Kurt / Shelter Island (N.Y.) : Manning Publications Co.
Learn you a Haskell for great good ! : a beginner's guide / by Miran Lipovača / San Francisco (Calif.) : No Starch Press , cop. 2011
Initiation à la programmation de l'analyse numérique : listes et récursivité OCAML-ERLANG / Gérald Jean-Baptiste / Toulouse : Cépaduès-Editions , DL 2012
Real-world functional programming : with examples in F# and C# / Tomas Petricek ; with Jon Skeet ; [foreword by Mads Torgersen] / Greenwich (Conn.) : Manning , cop. 2010
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / Yukiyoshi Kameyama, Peter J. Stuckey (eds.) / Berlin : Springer , cop. 2004
Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : Proceedings / Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.) / Berlin : Springer , cop. 2002
Functional programming, Glasgow 1991 : proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 / Rogardt Heldal, Carsten Kehler Holst, and Philip Wadler (eds.) / London : Springer-Verlag , cop. 1992
Proceedings of the 1994 ACM Conference on LISP and Functional Programming : papers presented at the conference, Orlando, Florida, June 27-29 / sponsored by the Association for Computing Machinery ... [et al.] / New York , N.Y. : ACM Press , 1994
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP'02) : Pittsburgh, Pennsylvania, USA, october 4-6, 2002 / Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for programming Languages and Systems & Cybertex / New York, N.Y. : ACM Press , 2002
Functional programming : application and implementation / Peter Henderson,... / Englewood Cliffs (N.J.) : Prentice-Hall International , cop. 1980
Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck (ed.) / Berlin : Springer
Spécification et compilation d'un langage de haut niveau pour l'optimisation combinatoire : CLAIRE vers Java / François-Xavier Josset ; sous la direction de Catherine Roucairol / Grenoble : Atelier national de reproduction des thèses , 2002
Développement de la programmation par tuilage pour les systèmes multimédias interactifs / Simon Archipoff ; sous la direction de David Janin / , 2020
Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday / Simon Siegler, Nathan Wasser (eds.) / Berlin : Springer , cop. 2010
Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle / par Cédric Joffroy ; sous la direction d'Anne-Marie Dery-Pinna et de Michel Riveill / Lille : Atelier national de reproduction des thèses , 2011
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs : sémantiques, implantations et certification / Frédéric Gava ; directeur, Frédéric Loulergue,.. / Grenoble : Atelier national de reproduction des thèses , 2005
Version tolérante aux fautes d'une machine parallèle asynchrone à réduction de graphes / Alessandro Berti Contessa ; sous la direction de Bernard Lecussan / [S.l.] : [s.n.] , 1988
Premiers cours de programmation avec Scheme : du fonctionnel pur aux objets avec DrRacket / Jean-Paul Roy / Paris : Ellipses , DL 2010
ICFP '16 : Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : September 18-24, 2016, Nara, Japan / edited by: Jacques Garrigue, Gabriele Keller, Eijiro Sumii / sponsored by ACM SIGPLAN / New York : Association for Computing Machinery , 2016
Certification de programmes avec des effets calculatoires / Burak Ekici ; sous la direction de Jean-Guillaume Dumas et de Dominique Duval / , 2015
Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada / edited by Peter E. Lauer. / Berlin [etc.] : Springer
Functional programming / Anthony J. Field, Peter G. Harrison,... / Wokingham : Addison-Wesley , 1988
Functional programming and the logical variable / Gary Lindstrom / Le Chesnay : INRIA , 1985
Modern scala projects : Leverage the power of scala for building data-driven and high-performant projects / Ilango Gurusamy / 1ère édition / Birmingham (Royaume-Uni) : Packt publishing , Cop. 2018
Extension de ML avec raffinement : syntaxe, sémantiques et système de types / Julien Signoles ; sous la direction de [Christine Paulin] / [Lieu de publication inconnu] : [éditeur inconnu] , 2006
Majeure : algèbre-informatique programmation fonctionnelle et complexité des programmes the Caml light system, release 0.5 documentation and user's manual promotion 1991 (1ere année) / Xavier Leroy, Michel Mauny / Palaiseau : École polytechnique , 1993
Automatiser l'architecture ? Savoir-faire et calculabilité dans la pratique des courants computationnels en architecture (1965-2020) / Nadja Gaudillière-Jami ; sous la direction de Matteo Porrino et de Mario Carpo / , 2022
Central European Functional Programming School : First summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / Zoltán Horváth (ed.) / Berlin : Springer , cop. 2006
Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser. / 1st ed. 2010. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2010
Structures de données arborescentes et évaluation paresseuse : une nouvelle approche pour la résolution des équations aux dérivées partielles / Manuel Carcenac ; sous la direction de Michel Cubero-Castan / [S.l.] : [s.n.] , 1994
Functional programming and parallel graph rewriting / Rinus Plasmeijer, Marko van Eekelen / Wokingham, Eng. : Addison-Wesley , cop. 1993
Learning Scala / Jason Swartz / Sebastopol (Calif.) : O'Reilly Media , 2014, cop. 2015
Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher / Boston : Birkhäuser , cop. 1991
Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien / 2nd edition / Boston : Birkhäuser
Programmation en Caml : cours et atelier, abstraction complète / Jacques Rouablé / Paris : Eyrolles , DL 1996, cop.1997
Programmation fonctionnelle appliquée aux calculs scientifiques Tome II, Méthodes numériques [et] concurrence et parallélisme : Objective CAML / Alain Couturier,... Gérald Jean-Baptiste,... / Toulouse : Cépaduès-éd. , impr. 2009
Program in Coq / Guillaume Claret ; sous la direction de Hugo Herbelin et de Yann Régis-Gianas / , 2018
Deduction and declarative programming / Peter Padawitz,... / Cambridge : Cambridge University Press , 1992
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / Aart Middeldorp, Taisuke Sato (eds.) / New York : Springer
Type theory and functional programming / Simon Thompson / Wokingham (GB) [etc.] : Addison-Wesley , cop. 1991
The reasoned schemer / Daniel P. Friedman, William E. Byrd, Oleg Kiselyov... [et al.] ; drawings by Duane Bibby ; Foreword by Guy Lewis Steele Jr. and Gerald Jay Sussman... / Second edition / Cambridge (Mass.) : The MIT Press
Stratégies efficaces et modèles d'implantation pour les langages fonctionnels / par François-Régis Sinot / Villeurbanne : [CCSD] , 2010
Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text / edited by Johan Jeuring, Erik Meijer. / Berlin [etc.] : Springer
Mastering JavaScript functional programming : write clean, robust, and maintainable web and server code using functional JavaScript / Federico Kereki / 3rd edition. / Birmingham : Packt Publishing , 2020
Assistance à l'utilisation d'un environnement interactif : apprentissage des habitudes de l'utilisateur / Jean-David Ravini ; sous la direction de Joël Quinqueton / [S.l.] : [s.n.] , [2000]
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997 / sponsored by the Association for Computing Machninery, Special Interest Group on Programming Languages (SIGPLAN) / New York N.Y. : ACM press , cop.1997
Langages applicatifs et machines abstraites pour la couverture de code structurelle / Philippe Wang ; sous la direction de Emmanuel Chailloux / Lille : Atelier national de reproduction des thèses , 2012
Constructive foundations for functional languages / Raymond Turner,... / London : McGraw-Hill , cop.1991
ICFP 05 : proceeding of the tenth ACM SIGPLAN international conference on functional programming september 26-28, 2005, Tallinn, Estonia / ACM / New-York : ACM , 2005
Programmation fonctionnelle en Sheme [sic] : de la conception à la mise en oeuvre / Jean-Michel Hufflen,... ; préface de Philippe Jorrand / Paris : Masson , DL 1996, cop. 1996
Elements of functional programming / Chris Reade,... / Wokingham : Addison-Wesley Publishing Company , 1989
Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings / [edited by] Pascal Van Hentenryck / Berlin [etc.] : Springer
Efficient functional programming : compilation and programming techniques / Eric Gottfried Joseph Maria Hendrik Nöcker / [S.l. : s.n.] , 1994
Stratégies efficaces et modèles d'implantation pour les langages fonctionnels / par François-Régis Sinot ; sous la direction de Jean-Pierre Jouannaud / Grenoble : Atelier national de reproduction des thèses , 2006
Tapsoft '87 Volume 2, Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP) : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giogio Levi and Ugo Montanari / Berlin : Springer
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / [edited by] Yukiyoshi Kameyama, Peter J. Stuckey / Berlin [etc.] : Springer
Handbook of programming languages Volume IV, Functional and logic programming languages / Peter H. Salus, series editor in chief / Indianapolis, IN : Macmillan Technical Pub. , cop. 1998
Concurrency, references and linear logic / Yann Hamdaoui ; sous la direction de Claudia Faggian et de Benoit Valiron / , 2018
Computational semantics with functional programming / Jan van Eijck and Christina Unger / Cambridge : Cambridge University Press , 2010
Typer la désérialisation sans sérialiser les types / Grégoire Henry ; sous la direction de Emmanuel Chailloux et Michel Mauny / Lille : Atelier national de reproduction des thèses , 2011
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings / Masami Hagiya, Philip Wadler (eds.) / Berlin : Springer , cop. 2006
Programmation fonctionnelle : spécifications & applications / Alain Couturier,... Gérald Jean-Baptiste,... / Toulouse : Cépadues , DL 2003
Implantation d'une méthode formelle de programmation / Bernard Ganne
Développement systématique et sûreté d'exécution en programmation parallèle structurée / Louis Gesbert ; sous la direction de Frédéric Loulergue / , 2009
Vers une certification de l'extraction de coq / Stéphane Glondu / Villeurbanne : [CCSD] , 2018
Concepts et sémantique des langages de programmation 1, Constructions fonctionnelles et impératives avec OCaml, Python, C et C++ / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.] / London : ISTE editions
Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones (eds.) / Berlin : Springer , cop. 2003
Central European Functional Programming School : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / edited by Zoltán Horváth. / Berlin, Heidelberg : Springer Berlin Heidelberg
ICFP'04 : Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming : Snowbird, Utah, USA, September 19-21, 2004 / Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) / New York, N.Y. : ACM Press , cop. 2004
Two-level functional languages / Flemming Nielson, Hanne Riis Nielson / Cambridge : Cambridge University Press , 1992
ATABLE-92 / second international worshop on array structures, Deuxième atelier inernational sur les structures des tableaux ; édité [et organisé] par Gaétan Hains et Lenore M.R. Mullin / Montréal : Université de Montréal, Département d'informatique et de recherche opérationnelle , 1992
Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle / par Cédric Joffroy ; sous la direction d'Anne-Marie Dery-Pinna et de Michel Riveill / [S.l.] : [s.n.] , 2011
Synthèse de circuits digitaux synchrones par transformations de programmes fonctionnels / Kamel Kessaci ; sous la direction de Michel Lemaitre / [S.l] : [s.n] , 1992
Parallélisation explicite de programmes fonctionnels et synchronisation de processus : application au modèle MaRS / par Christophe Coustet ; sous la direction de B. Lecussan / [S.l] : [s.n] , 1993
Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels / Julien Tesson ; sous la direction de Frédéric Loulergue / , 2011
Proceedings of the third ACM SIGPLAN international conference on functional programming (ICFP '98) : Baltimore, Maryland, USA, September 27-29, 1998 / sponsored by the Association for Computing Machninery, Special Interest Group on Programming Languages (SIGPLAN) / New York N.Y. : Association for Computing Machinery , c1998
Optimisation d'un langage fonctionnel de requêtes pour une base de données orienté-objet / Issam Abbas ; sous la direction de Omar Boucelma / Marseille : [Éditeur inconnu] , 1999
A functional approach to Java : augmenting object-oriented code with functional principles / Ben Weidig / Sebastopol, CA : O'Reilly , cop 2023
Head first Kotlin : a brain-friendly guide / Dawn Griffiths, David Griffiths / Sebastopol, CA : O'Reilly Media, Inc.
Model-Based Testing over IOSTS enriched with function calls / Imen Boudhiba ; sous la direction de Pascale Le Gall / , 2017
Majeure algèbre, informatique : langage LISP et programmation fonctionnelle cours SCHEME, 1ere partie promotion 1990 (1ere année) / Christian Queinnec, Georges Gonthier, Bruno Salvy, Paul Zimmermann / Palaiseau : École polytechnique , 1992
Apprendre à programmer avec OCaml : algorithmes et structures de données / Sylvain Conchon et Jean-Christophe Filliâtre / Paris : Eyrolles , cop. 2014
Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15–17, 2002 : proceedings / [edited by] Zhenjiang Hu, Mario Rodríguez-Artalejo / Berlin [etc.] : Springer
Haskell : the craft of functional programming / Simon Thompson / 3rd edition / Harlow (GB) : Addison-Wesley , 2011
Débuter la programmation avec Scheme / Jean-Christophe Routier et Eric Wegrzynowski / 2e éd. / Paris : Vuibert informatique , DL 2003
Programmation fonctionnelle, générique et objet : une introduction avec le langage OCaml / Philippe Narbel / Paris : Vuibert , cop. 2005
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / edited by Jacques Garrigue, Manuel V. Hermenegildo. / 1st ed. 2008. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008
Objets et contraintes / Stéphane Pelenc ; sous la direction de Roland Ducournau / [S.l.] : [s.n.] , [1998]
Categorical combinators, sequential algorithms and functional programming / P.-L. Curien / London : Pitman , 1986
La programmation fonctionnelle : introduction et applications en Haskell à l'usage de l'étudiant et du développeur / Julien Dehos / Paris : Ellipses
Java pour les professionnels : outils et méthodes / Jérôme Molière ; préfaces de Cosme Charlier,... Michel Maudet,... et Alexandre Faria,... / Paris : Éditions Eyrolles , DL 2023
Java pour les professionnels : outils et méthodes / Jérôme Molière ; préfaces de Cosme Charlier,... Michel Maudet,... et Alexandre Faria,... / Paris : Éditions Eyrolles
Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermeneguildo (Eds.) / Berlin : Springer , cop. 2008
Typer la désérialisation sans sérialiser les types / Grégoire Henry / Villeurbanne : [CCSD] , 2011