.:. Consultation > Liste des articles .:.

647 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 3 - 4 - 5 - 6 - 7 - 8 - 9 ...

The computational meaning of probabilistic coherent spaces Ehrhard T., Pagani M., Tasson C. In Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on - Logic in Computer Science (LICS), Canada (2011) [hal-00627490 - version 1]

Typer la désérialisation sans sérialiser les types Henry G. Université Paris-Diderot - Paris VII (17/06/2011), Emmanuel Chailloux (Dir.) [tel-00624156 - version 1]

An Elementary Affine λ-Calculus with Multithreading and Side Effects Madet A., Amadio R. M. Dans TLCA - Typed Lambda Calculi and Applications 10th International Conference, Serbie (2011) [hal-00610012 - version 1]

Fair Subtyping for Multi-Party Session Types Padovani L. In Coordination Models and Languages - Coordination Models and Languages, Iceland (2011) [hal-00546531 - version 2]

Classical Call-by-need and duality Ariola Z., Herbelin H., Saurin A. TLCA 2011 - Typed Lambda Calculi and Applications, Serbia (2011) [inria-00630156 - version 1]

On global types and multi-party sessions Castagna G., Dezani-Ciancaglini M., Padovani L. In FMOODS & FORTE 2011, joint 13th IFIP International Conference on For- mal Methods for Open Object-based Distributed Systems and 31th IFIP International Con- ference on FORmal TEchniques for Networked and Distributed Systems, Iceland (2011) [hal-00618814 - version 1]

Mancoosi Deliverable D5.4: Report on the international competition Abate P., Treinen R. Rapport de recherche (2011) [hal-00698967 - version 1]

Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20) Ehrhard T., Faggian C., Laurent O. (2011) 240 [hal-00589711 - version 1]

From delimited CPS to polarisation Munch-Maccagnoni G. [inria-00587597 - version 1] (2011-04-21)

A 2-Categorical Analysis of the Tripos-to-Topos Construction Frey J. [hal-00698461 - version 1] (2012-05-16)

The Babel Routing Protocol Chroboczek J. Le protocole de routage Babel (2011) [hal-00696369 - version 1]

Predicting upgrade failures using dependency analysis. Abate P., Di Cosmo R. Dans 2011 IEEE 27th International Conference on Data Engineering Workshops (ICDEW) - icdew, France (2011) [hal-00622825 - version 1]

CPC: programming with a massive number of lightweight threads Kerneis G., Chroboczek J. In Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software - PLACES'11, Germany (2011) [hal-00563369 - version 1]

Estimation of the length of interactions in arena game semantics Clairambault P. Dans Proceedings of the 14th International Conference on Foundations of Software Science and Computational Structures - Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Allemagne (2011) [hal-00651555 - version 1]

Etude formelle des distributions de logiciel libre Boender J. Université Paris-Diderot - Paris VII (2011-03-24), Roberto Di Cosmo (Dir.) [tel-00698622 - version 1]