Your search returned 7 results. Subscribe to this search

|
1.  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).
2. 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).
3. 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).
4. Congrès OOPSLA'15 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications : October 25-30, 2015, Pittsburgh, PA, USA ; edited by: Jonathan Aldrich, Patrick EugsterPublication : New York, NY : ACM Press, 2015Description : 1 vol. (XI-954 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PIT 15] (1).
5. Congrès POPL' 17 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France ; edited by: Giuseppe Castagna, Andrew D. Gordon ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACT and SIGLOGPublication : New York(NY) : ACM Press, 2017Description : 1 vol. (XIX-901 p.) : fig. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 17] (1).
6.  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).
7.  Monographies, textes Vérification de typage pour le lambda-Pi-Calcul Modulo : théorie et pratique / Ronan Saillard ; sous la direction de Pierre JouvelotPublication : 2015Availability: Accès au texte intégral | Click here to access online | Click here to access online

Powered by Koha