Your search returned 67 results. Subscribe to this search

|
1. Congrès 20 Years of the ACM SIGPLAN conference on programming language design and implementation : 1979-1999 : a selection / ed. by Kathryn S. McKinleyPublication :New York : ACM Press, 2004Description : XI-672 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI21452] (2).
2.  Monographies, textes Algebraic specification [Texte imprimé] / edited by J.A. Bergstra, J. Heering, P. KlintPublication :New York, N.Y. : ACM Press, Wokingham, England, Reading, Mass. : Addison-Wesley, c1989Description : xiii, 397 p. : ill. ; 25 cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI6389] (2).
3. Thèses Algèbres touffues [Texte imprimé] : application au typage polymorphe des objets enregistrements dans les langages fonctionnels / Didier RémyPublication :[S.l.], [s.n.], 1990Description : 1 vol. (171 p.) ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6712] (2).
4. Thèses Analyse d'échappement [Microforme] : applications à ML et JAVA TM / Bruno BlanchetPublication :Grenoble : ANRT [diff.], 2000Description : 1 microficheAvailability: Copies available for reference: Centre de recherche en informatique[2000 BLA] (1).
5.  Monographies, textes Applicative high order programming [Texte imprimé] : the standard ML perspective / S. SokolowskiPublication :London : Chapman & Hall Computing, 1991Description : 1 vol. (xi-243 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-737] (1).
6. Thèses Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes / Alexandre Frey [ [Texte imprimé]]Publication :Paris, 300740 : ENSMP, 2004Description : 124 p. ; 30 cmAvailability: Click here to access online Copies available for reference: Centre de recherche en informatique[2004 FRE] (1).
7. Congrès ARCHITECTURE (UNE) MODULAIRE ET SES APPLICATIONS. SM 90.Publication :Paris : Eyrolles, 1985Description : 01 VOL.,1005 P. : X RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2985] (2).
8. Congrès CHANGES TO THE STANDARD ML CORE LANGUAGE. / {R. Milner}Publication :EDINBURGH : LFCS, 1987Description : 01 VOL.,5 P. : 2 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5094] (1).
9. Congrès COLLOGUE C3.Publication :Angoulême : A. Arnold, 1985Description : 01 VOL.,272 P. : ? ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3123] (1).
10. 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).
11.  Monographies, textes Compiling with continuations / Andrew W. AppelPublication :Cambridge : Cambridge university press, 1992Description : ix, 262 p ; 26 cmAvailability: No copies available Checked out (1).
12. Congrès COMPUTING WITH CATEGORIES. / {R. Burstall, D. Rydeheard}Publication :EDINBURGH : LFCS, 1986Description : 01 VOL.,14 P. : 8 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5101] (1).
13. Thèses CONCEPTION, REALISATION ET CERTIFICATION D'UN GLANEUR DE CELLULES CONCURRENT / DAMIEN DOLIGEZ ; SOUS LA DIRECTION DE J.-J. LEVYPublication :[S.l.] : [s.n.], 1995Description : 194 P.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1881] (1).
14. Congrès Conference record of POPL '98 [Texte imprimé] : the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, San Diego, California, 19-21 January 1998 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : The Association, cop. 1998Description : 1 vol. (VIII-408 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI 200-2382] (1).
15. 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).
16. Congrès Conference record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Orlando, Florida, January 21-23, 1991 [Texte imprimé] / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : The Association, [1991]Description : 1 vol. (VII-366 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-263] (1).
17. 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).
18. Congrès Conference record of the twelfth annual ACM Symposium on Principles of Programming Languages : extended abstracts of papers presented at the symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16, January 1985 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication :New York : ACM, 1985Description : ii, 340 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3213] (1).
19. 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).
20. Congrès DEFINITION (THE) OF STANDARD ML VERSION 2. / {R. Harper, M. Tofte, R. Milner}Publication :EDINBURGH : LFCS, 1988Description : 01 VOL.,97 P. : 30 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5099] (1).
21. Congrès DML - A META-LANGUAGE FOR COMPILER GENERATION FROM DENOTATIONAL SPECIFICATIONS. / {M. Pettersson}Publication :LINKOPING : LINKOPING UNIVERSITY, 1990Description : 01 VOL.,25 P. : 19 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-211] (1).
22. Congrès DML a Meta-Language for Compiler Generation from Denotational Specifications / {M. Pettersson}Publication :S.L. : [s.n.], 1990Description : 25 P., 19 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1227] (1).
23. Congrès Elements of ML programming / Jeffrey D. UllmanPublication :Englewood Cliffs (NJ) : Prentice Hall, 1994Description : XII-320 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[ULL] (1).
24.  Monographies, textes Elements of ML programming [Texte imprimé] : ML 97 edition / Jeffrey D. UllmanPublication :Upper Saddle River (N.J.) : Prentice Hall, cop. 1998Description : 1 vol. (xiii-383 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[ULL] (1).
25. 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).

Powered by Koha

//]]>