Your search returned 88 results. Subscribe to this search

|
1.  Monographies, textes A taxonomy of functional language implementations : Part II : call-by-name, call-by-need and graph reduction / Rémi Douence, Pascal FradetPublication :[S.l.], 10-1996Description : 36 p.Availability: Copies available for loan: Bib. Paris[EMP C 113 (2783)] (1).
2. Congrès ACM Sigplan workshop on partial evaluation and semantic-based program manipulation (PEPM'92) : Fairmont hotel, San Francisco, CA, USA, june 19-20, 1992Publication :New Haven (CT) : Yale university, 1992Description : IV-121 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 92] (1).
3.  Monographies, textes Algorithmes de la morphologie mathématique pour les architectures orientées flux / par Jaromir Brambor ; sous la direction de Michel BilodeauPublication :2006Description : 1 vol. ( 229 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 153.533 CCL.TH.1157] (2). Copies available for reference: Centre de Morphologie Mathématique[TL-06/06/MM] (1).
4. Congrès An Implementation of F: / {L. Cardelli}Publication :S.L. : [s.n.], 1993Description : 49 P., 16 RF ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1123] (1).
5. Congrès Un calcul de substitution pour la représentation de preuves partielles en théorie de types / César Augusto Muñoz HurtadoPublication :Paris : Université Paris VII, 1997Description : 163 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2337] (1).
6.  Monographies, textes Categories for types [Texte imprimé] / Roy L. Crole,...Publication :Cambridge, New York : Cambridge University Press, cop. 1993Description : 1 vol. (XVII-335 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1438] (1).
7.  Monographies, textes Categories, types, and structures [Texte imprimé] : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe LongoPublication :Cambridge, Mass. : MIT Press, cop. 1991Description : 1 vol. (XI-306 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-560] (1).
8.  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).
9. 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).
10. Articles COMPILING APL FOR PARALLEL AND VECTOR EXECUTION. [[Texte imprimé]]Publication :New York : ACM, 1991Description : P. 80 A 87, 14 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-586] (1).
11.  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).
12. Congrès Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium : Portland, Oregon, January 17-21, 1994 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : The Association, c1994Description : viii, 492 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1486] (2).
13. Congrès Conference record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages [Texte imprimé] : papers presented at the Symposium, San Francisco, California, January 17-19, 1990 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Comupuability [sic] Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : The Association, cop. 1990Description : 1 vol. (VI-401 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6749] (2).
14. Congrès CONSTRUCTIVE LOGICS. PART 1 / {J. Gallier} : A TUTORIAL ON PROOF SYSTEMS AND TYPED LAMBDA-CALCULI.Publication :S.L. : [s.n.], 1991Description : 01 VOL.,81 P. : 20 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-530] (1).
15. Congrès CONSTRUCTIVE LOGICS. PART 2 : LINEAR LOGIC AND PROOF NETS. / {J. Gallier}Publication :S.L. : [s.n.], 1991Description : 01 VOL.,44 P. : 12 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-531] (1).
16. Congrès COPY ELIMINATION IN FUNCTIONAL LANGUAGES. / {K. Gopinath, J. Hennessy}Publication :S.L. : [s.n.], 1988Description : 01 VOL.,12 P. : 16 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6306] (1).
17. Congrès DEDUCTION AND COMPUTATION. / {H. Huet}Publication :ROCQUENCOURT : INRIA, 1986Description : 01 VOL.,36 P. : 164 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3190] (1).
18. Congrès DEDUCTION (DE LA) NATURELLE A LA MACHINE CATEGORIQUE / {Y. Lafont}Publication :ROCQUENCOURT : INRIA, 1987Description : 01 VOL.,38 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3932] (1).
19.  Monographies, textes Denotational semantics [Texte imprimé] : the Scott-Strachey approach to programming language theory / Joseph E. StoyPublication :Cambridge Mass, London : The MIT Press, 1977Description : 1 vol. (XXX-414 p.) : ill. ; 23 cm + errataAvailability: Copies available for loan: Centre de recherche en informatique[STO] (1).
20.  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).
21. Congrès ESOP '90 / 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; A. Arnold, N. Jones (eds.)Publication :Berlin, New York : Springer-Verlag, c1990Description : ix, 435 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-144] (1).
22.  Monographies, textes Explicit Substitutions / Martin Abadi ... [et al.]Publication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1990Description : 57 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6810] (1).
23. Congrès EXTENSIBLE RECORDS WITHOUT SUBSUMPTION. / {R. Harper, B. Pierce}Publication :S.L. : [s.n.], 1990Description : 01 VOL.,21 P. : 19 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6821] (1).
24. Congrès EXTENSION (AN) OF SYSTEM F WITH SUBTYPING. / {L. Cardelli, J. Mitchell, S. Martini, A. Scedrov}Publication :S.L. : [s.n.], 1991Description : 01 VOL.,42 P. : 26 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI14106] (1).
25. Thèses EXTRACTION DE PROGRAMMES DANS LE CALCUL DES CONSTRUCTIONS / CHRISTINE PAULIN-MOHRING ; SOUS LA DIRECTION DE GERARD HUETPublication :[S.l.] : [s.n.], 1989Description : ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5111] (1).

Powered by Koha

//]]>