Your search returned 19 results. Subscribe to this search

|
1.  Monographies, textes Approche fonctionnelle de la programmation [] / Guy Cousineau,... et Michel Mauny,...Publication : Paris : Ediscience international, 1995, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (XIII-428 p.) : ill., couv. ill. en coul ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 3809] (1).
2.  Monographies, textes Categorical combinators, sequential algorithms, and functional programming [] / Pierre-Louis CurienPublication : Boston, Basel, Berlin : Birkhäuser, cop. 1993Description : 1 vol. (XX-403 p.) ; 25 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 3434] (1).
3. Thèses Compilation des langages fonctionnels dans les combinateurs catégoriques [Texte imprimé] : application au langage ML / Michel MaunyPublication : [S.l.] : [s.n.], 1985Description : 1 vol. (132 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1985 MAU] (1).
4.  Monographies, textes Compilation of functional languages by program transformation / Pascal Fradet, Daniel Le MetayerPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 25 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6327] (1).
5. Thèses Évaluation paresseuse des filtrages avec priorité, application au langage ML... [texte imprimé] / par Alain LavillePublication : [Le Chesnay] : [Institut national de recherche en informatique et en automatique], 1988, 78-Le Chesnay : Impr. de l'INRIADescription : 129 p : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5120] (1).
6. Congrès ICFP '10 : proceedings of the 2010 ACM SIGPLAN International conference on functional programming [ [Texte imprimé]] : September 27-29, 2010, Baltimore, Maryland, USA ; sponsored by: ACM SIGPLANPublication : New York : Association for Computing Machinery, 2010Description : 1 vol. (X-387 p.) : ill. ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[BAL 10] (1).
7. Congrès ICFP '13 : proceedings of the 2013 ACM SIGPLAN International conference on functional programming [ [Texte imprimé]] : September 25-27, 2013, Boston(Massachusetts), USA / sponsored by ACM SIGPLANSet Level : , SIGPLAN notices, vol. 48, n° 9Publication : New York : Association for Computing Machinery, 2013Description : 1 vol. (XII-469 p.) : ill. ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOS 13] (1).
8. Congrès ICFP '14 : Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming : September 1-3, 2014, Gothenburg, Sweden ; sponsored by ACM SIGPLANPublication : New York : Association for Computing Machinery, 2014Description : 1 vol. (XII-469 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[GOT 14] (1).
9. Congrès 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 SIGPLANPublication : New York : Association for Computing Machinery, 2015Description : 1 vol. (XI-437 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[VAN 15] (1).
10. Congrès 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 SIGPLANPublication : New York : Association for Computing Machinery, 2016Description : 1 vol. (XII-502 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NAR 16] (1).
11. Thèses Logiques, catégories & machines : implantation de langages de programmation guidée par la logique catégorique [Texte imprimé] / Yves Lafont ; sous la direction de Jean-Yves GirardPublication : [S.l.] : [s.n.], 1988Description : 1 vol. (124 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3787] (1).
12. Congrès Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997 [Texte imprimé] / sponsored by the Association for Computing Machninery, Special Interest Group on Programming Languages (SIGPLAN)Publication : New York N.Y. : ACM press, cop.1997Description : ix, 323 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI17547] (2).
13. Congrès Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell '02) [Texte imprimé] : Pittsburgh, Pennsylvania, USAOctober 3, 2002 / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)Publication : New York, N.Y. : Association for Computing Machinery, cop. 2002Description : IV-114 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PIT 02] (1).
14. Congrès Proceedings of the fifth ACM SIGPLAN international conference on functional programming (ICFP '00), Montreal, Canada, September 18-21, 2000 [Texte imprimé] / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)Publication : New York N.Y. : ACM press, 2000Description : ix, 294 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 00] (2).
15.  Monographies, textes La programmation applicative [ [Texte imprimé]] : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul / Emmanuel Saint-James ; avec une préface de: Jacques ArsacPublication : Paris : Hermès, Imp. 1993Description : 1 vol. (411 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAI] (1).
16.  Monographies, textes Programmation en Caml [] : cours et atelier, abstraction complète / Jacques RouabléPublication : Paris : Eyrolles, 1997Description : 302 p. ; 23 cm + 1 CD ROMAvailability: Copies available for loan: Bib. Paris[EMP 112.706] (1).
17.  Monographies, textes The Implementation of functional programming languages [] / Simon L. Peyton Jones, ... ; with chapters by Philip Wadler, ...Peter Hancock, ...David Turner, ...Publication : Englewood Cliffs, NJ [etc.] : Prentice-Hall International, cop. 1987Description : 1 vol. (XVIII-445 p.) : ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3929] (1).
18.  Monographies, textes Two-level functional languages / Flemming Nielson, Hanne Riis NielsonPublication : Cambridge, New York, NY, USA : Cambridge University Press, 1992Description : xii, 299 p. ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1149] (1).
19.  Monographies, textes Type theory and functional programming [] / Simon ThompsonPublication : Wokingham (GB) [etc.] : Addison-Wesley, cop. 1991Description : 1 vol. (XV-372 p.) ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[THO] (1).

Powered by Koha