.:. Consultation > Liste par année > 2004 .:.

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

1 - 2 - 3

Mixing the Objective Caml and C# Programming Models in the .Net Framework Chailloux E., Henry G., Montelatici R. Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL), Norvège (2004) [hal-00145420 - version 1]

Time and Games Leperchey B. [hal-00003582 - version 1] (2004-12-15)

Comparing hierarchies of types in models of linear logic Melliès P.-A. Journal of Information and Computation 189, 2 (2004) 202-234 [hal-00154200 - version 1]

OCAMiL un compilateur Objective Caml pour .NET Montelatici R., Chailloux E., Pagano B. Conférence Internationale des chercheurs vietnamiens et Francophones en Informatique (RIVF'04), Viet Nam (2004) [hal-00154504 - version 1]

Applications du toplevel embarqué d'Objective Caml Capel C., Chailloux E., Eber J.-M. Dans Actes des Journées Francophones des Langages Applicatifs - (2004) [hal-00154507 - 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]

Ocaml-templates, méta-programmation à partir des types Maurel F. Dans Actes des journées JFLA - Journées francophones des langages applicatifs, France (2004) [hal-00153820 - version 1]

PSN implies SN Polonovski E. Dans Proceedings of the 2nd International Workshop on Higher-Order Rewriting - HOR, Allemagne (2004) [hal-00384961 - version 1]

A Petri net model for distributed estimation Abbes S., Benveniste A., Haar S. In Proceedings of MTNS 2004 - Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Belgium (2004) [hal-00350939 - version 1]

Asynchronous games 3 : An innocent model of linear logic Melliès P.-A. Dans CTCS 2004 - CTCS 2004 -- Category Theory and Computer Science, Danemark (2004) [hal-00154294 - version 1]

A topological correctness criterion for non-commutative logic Melliès P.-A. Dans Linear Logic in Computer Science (2004) 283-323 [hal-00154204 - version 1]

Semantic Types: A fresh look at the ideal model for types Vouillon J., melliès P.-A. Dans Proceedings of the 31th ACM Conference on Principles of Programming Languages - Principles of Programming Languages,, Italie (2004) [hal-00150968 - version 1]

Intersection types for explicit substitutions Lengrand S., Lescanne P., Dougherty D., Dezani M., Van Bakel S. Information and Computation 189, 1 (2004) 17 - 42 [hal-00150285 - version 1]

The Sensible Graph Theories of Lambda Calculus Bucciarelli A., Salibra A. Dans Logic in Computer Science 2004, Proceedings - Logic in Computer Science, Finlande (2004) [hal-00149558 - version 1]

Pattern matching as cut elimination Cerrito S., Kesner D. Theoretical Computer Science 323, 1-3 (2004) 71--127 [hal-00148839 - version 1]