Your search returned 167 results. Subscribe to this search

|
1. Thèses 8 1.2 : un modele MSIMD pour la simulation massivement parallele [Microforme] / Jean-Louis GiavittoPublication :[S.l.] : [s.n.], 1991Description : 1 microficheAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-609] (1).
2.  Monographies, textes A uniform approach to type theory / Gérard HuetPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1988Description : 45 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3941] (1).
3. Congrès ACM Sigplan 2005 : OOPSLA'05 conference proceedings. 20th Annual ACM conference on Object-oriented programming, systems, languages, and applications, OOPSLA'05 San Diego ; ed.: ACMPublication :New York : ACM SIGPLAN, 2005Description : 1 vol. ( XIII-546 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 05] (1).
4.  Monographies, textes Algebraic specification [] / 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).
5. 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).
6. 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).
7.  Monographies, textes An introduction to data types / J. Craig CleavelandPublication :Reading Mass, Menlo Park Calif. [etc.] : Addison-Wesley, cop. 1986Description : xii, 239 p : fig ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 109.658] (1). Copies available for reference: Centre de recherche en informatique[CLE] (1).
8. Congrès Analyse de compléxité des programmes / {V. Dornic} : Vérification et interferencePublication :S.L. : [s.n.], 1992Description : 01 VOL.,103 P. : PR 5 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-866] (1).
9. Congrès Annotated type systems for program analysis / Kirsten Lackner SolbergPublication :Aarhus (DNK) : COMPUTER SCIENCE DEPARTMENT, 1995Description : XIV-222 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1995 BNI: 8429] (1).
10. Congrès Annual ACM Conference (OOPSLA 2008) : OOPSLA'08 conference proceedings. 23rd Annual ACM conference on Object-oriented programming, systems, languages, and applications. October 19-23, 2008 Nashville, Tennessee ; ed.: ACMPublication :New York : ACM SIGPLAN, 2008Description : 1 vol. ( XIV-634 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NAS 08] (1). Checked out (1).
11. 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).
12. Thèses / Jean-Pierre TalpinAspects théoriques et pratiques de l'inférence de type et d'effets, Jean-Pierre TalpinPublication :Fontainebleau, 300740 : ENSMP, 1993Description : 117 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.535 CCL.TH.767] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1634] (1).
13.  Monographies, textes Axiomatisations et types pour des processus probabilistes et mobiles / par Yuxin Deng ; sous la direction de Davide SangiorgiPublication :2005Description : 1 vol. ( 168 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 153.272 CCL.TH.1133] (1). Copies available for reference: Bib. Paris[EMP 153.273 CCL.TH.1133] (1), Sophia Antipolis[EMS T-CMA-059] (1).
14.  Monographies, textes C2 Compiler concepts / B. Teufel, S. Schmidt, T. TeufelPublication :Wien, New York : Springer, 1993Description : XI-176 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1202] (1).
15. 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).
16.  Monographies, textes Categories for types [] / 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).
17. Articles CCured: Type-Safe retrofitting of legacy software [[Texte imprimé]], Efficient and effective array bound checking / by George C. Necula, Jeremy Condit, Matthew Harren (et al.) ; Thi Viet Nga Nguyen, François IrigoinPublication :New York : ACM, 2005Description : P. 477-526 ; P. 527-570 : Ill. ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[---] (1).
18.  Monographies, textes Certified Programming with Dependent Types [ [Texte imprimé]] : a Pragmatic Introduction to the Coq Proof Assistant / Adam ChlipalaPublication :Cambridge (Mass.), London : The MIT Press, cop. 2013Description : 1 vol. (XII-424 p.) : couv. ill. en coul. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHL] (1).
19. Congrès CHECKING C PROGRAMS WHIH LINT. / {I. Darwin}Publication :Beijing, Cambridge, Farnham, Köln, Sebastopol, Taipei, Tokyo : O'Reilly, 1986Description : 01 VOL.,82 P. : PR 2 ; 22 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6753] (1).
20. Congrès Compiler compilers and high speed compilationPublication :Berlin, Heidelberg : Springer, 1989Description : 01 VOL.,248 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6428] (1).
21. Congrès Compiler construction [Texte imprimé] : 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Görel Hedin (ed.)Publication :Berlin, New York : Springer, cop. 2003Description : XII-334 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
22.  Monographies, textes Concepts in programming languages [] / John C. Mitchell,...Publication :Cambridge, New York (N. Y.) : Cambridge University Press, cop. 2002Description : 1 vol. (X-529 p.) : ill., couv. ill. ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIT] (1).
23. Congrès CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION.Publication :1515, Broadway N.Y. 10036 : ACM, New York, 1990Description : P. 1 A 369, X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6792] (2).
24. Congrès Conference record of POPL 2001 : the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, the Royal Society, London, 17-19 January 2001 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computational Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : The Association, c2001Description : viii, 304 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 01] (2).
25. Congrès Conference record of POPL 2003 [Texte imprimé] : the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium, New Orleans, Louisiana, USA, january 15-17, 2003Set Level : , SIGPLAN notices, 38, no. 1Publication :New York, N.Y. : Association for computing machinery, cop. 2003Description : VII-299 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 03] (1).

Powered by Koha

//]]>