Your search returned 13 results. Subscribe to this search

|
1.  Monographies, textes Categorical combinators, sequential algorithms and functional programming [Texte imprimé] / P.-L. CurienPublication :London : Pitman, New York : John Wiley, 1986Description : 1 vol. (300 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3107] (1).
2.  Monographies, textes Combinators, [lambda]-terms and proof theory [Texte imprimé] / Sören StenlundPublication :Dordrecht, Holland : D. Reidel publishing Company, 1972Description : 1 vol. (184 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI0943BIS] (1).
3.  Monographies, textes Compiling functional languages / Antoni Diller,...Publication :Chichester, New York, Brisbane : Wiley & Sons, cop.1988Description : 1 vol. (xxi-289 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6190] (1).
4. Congrès Conference record of the 1984 ACM Symposium on LISP and Functional Programming [Texte imprimé] : papers presented at the symposium, Austin, Texas, August 6-8, 1984 / sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGARTPublication :New York, N.Y. : Association for Computing Machinery, Baltimore, MD : Copies from ACM Order Dept., cop. 1984Description : 1 vol. (X-362 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6210] (1).
5.  Monographies, textes Elements of functional languages / Martin C. HensonPublication :Oxford, Boston : Blackwell Scientific Publications, 1987Description : xiii, 434 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI4993] (2).
6. Congrès FUNCTIONAL PROGRAMMING. / {P. Harrison, A. Field}Publication :READING : Addison-Wesley, 1989Description : 01 VOL.,616 P. : PR 6 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6196] (1).
7. Congrès LISP and functional programming : conference record / of the 1982 ACM Symposium on ..., Pittsburgh, PA, August 15-18, 1982 ; sp. by the Association for computing machinery SIGPLAN, SIGACT, SIGARTPublication :New York : ACM, 1982Description : 264 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6211] (1).
8. Congrès Proceedings of the 1986 ACM Conference on LISP and Functional Programming [Texte imprimé] : papers presented at the conference, Cambridge, Massachusetts, August 4-6, 1986 / sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGARTPublication :New York, N.Y. : Association for Computing Machinery, Baltimore, MD : Copies from ACM Order Dept., cop. 1986Description : 1 vol. (VII-372 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6209] (1).
9.  Monographies, textes Programming language theory and its implementation : applicative and imperative paradigms / Michael J.C. GordonPublication :New York, London [etc.] : Prentice Hall, 1988Description : xiv, 255 p ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[GOR] (1).
10. Congrès Proposition d'un modèle d'évaluation parallèle pour les langages fonctionnels sans variables / par Nadia BennaniPublication :Lille : Université des sciences et technologies de Lille, 1994Description : 261 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1994 BEN] (1).
11.  Monographies, textes The Architecture of symbolic computers / Peter M. KoggePublication :New York, Paris, Toronto : McGraw-Hill, 1991Description : XXI-739 p. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-084] (1).
12.  Monographies, textes The Implementation of functional programming languages [Texte imprimé] / 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).
13. Congrès THEO / {J. Despeyroux} : AN INTERACTIVE PROOF DEVELOPMENT SYSTEM.Publication :ROCQUENCOURT : INRIA, 1988Description : 01 VOL.,12 P. : 22 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6171] (1).

Powered by Koha

//]]>