.:. Consultation > Liste par auteurs > Di Cosmo .:.

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

1 - 2 - 3

Skeletal parallel programming with OCamlP3L 2.0 Di Cosmo R., Li Z., Pelagatti S., Weis P. Proceedings of Third International Workshop on High-level Parallel Programming and Applications (HLPP 2005), United Kingdom (2005) [hal-00154353 - version 1]

Subtyping Recursive Types Modulo Associative Commutative Products Di Cosmo R., Rémy D., Pottier F. Dans Typed Lambda Calculi and Applications - 7th International Conference, TLCA 2005, Japon (2005) [hal-00149563 - version 1]

The Equational Theory of ( N , 0, 1, +, ×, uparrow ) Is Decidable, but Not Finitely Axiomatisable Di Cosmo R., Dufour T. In Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Uruguay (2005) [hal-00149562 - version 1]

EDOS: Environment for the Development and Distribution of Open Source Software Abiteboul S., Leroy X., Vrdoljak B., Bryce C., Di Cosmo R., Dittrich K. R., Fermigier S., Milo T., Sagi A., Shtossel Y. et al OSS 2005 - The First International Conference on Open Source Systems, Italy (2005) [hal-00699644 - version 1]

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums Balat V., Di Cosmo R., Fiore M. Dans Annual Symposium on Principles of Programming Languages - Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (2004) [hal-00149561 - version 1]

A Calculus for Dense Array Distributions Di Cosmo R., Pelagatti S. Parallel Processing Letters 13, 3 (2003) 377-388 [hal-00149567 - version 1]

Proof Nets and Explicit Substitutions Di Cosmo R., Kesner D., Polonovski E. Mathematical Structures in Computer Science 13, 3 (2003) 409--450 [hal-00148842 - version 1]

Remarks on isomorphisms in typed lambda calculi with empty and sum types Fiore M., Di Cosmo R., Balat V. IEEE Symposium on Logic in Computer Science (2002) 147 [hal-00151252 - version 1]