Projet Cristal
Précédent : Diffusion des résultats
Remonter : Projet CRISTAL, Programmation typée,
modularité
- Thèses et habilitations à diriger
des recherches
- 1
- ÉMILIE
SAYAG,
Types intersections simples ,
thèse de doctorat, Université Paris 7, décembre 1997.
- Articles
- 2
- D. RÉMY, J.
VOUILLON,
« Objective ML: An effective object-oriented extension to ML
»,
Theoretical And Practice of Objects Systems ,
1998,
À paraître. Une première version a été publiée dans les actes
du symposium Principles of Programming Languages, 1997.
- Communications à des manifestations
scientifiques
- 3
- C. FOURNET, L.
MARANGET, C.
LANEVE, D.
RÉMY,
« Implicit typing à la ML for the join-calculus »,
in: 8th International Conference on Concurrency Theory
(CONCUR'97) ,
Warsaw, Poland, 1997.
- 4
- J. GARRIGUE, D.
RÉMY,
« Extending ML with Semi-Explicit Higher-Order Polymorphism
»,
in: International Symposium on Theoretical Aspects of
Computer Software , Lecture Notes in Computer
Science , 1281 , Springer, p. 20-46,
septembre 1997.
- 5
- X. LEROY, F.
ROUAIX,
« Security properties of typed applets »,
in: Proceedings of the 25th ACM Conference on Principles of
Programming Languages , ACM Press,
janvier 1998. À paraître.
- 6
- X. LEROY,
« The effectiveness of type-based unboxing »,
in: Workshop Types in Compilation '97 , Rapport
technique BCCS-97-03, Boston College, Computer Science
Department,
juin 1997.
- 7
- ÉMILIE
SAYAG, M.
MAUNY,
« Structural properties of intersection types »,
in: Proceedings of the 8th International Conference on
Logic and Computer Science - Theoretical Foundations of
Computing (LIRA) , p. 167-175,
Novi Sad, Yugoslavia, septembre 1997.
- 8
- L. MOREAU, C.
QUEINNEC,
« Design and Semantics of Quantum: a Language to Control
Resource Consumption in Distributed Computing »,
in: Usenix Conference on Domain Specific Language,
DSL'97 , p. 183-197,
Santa-Barbara (California, USA), octobre 1997,
http://www.ecs.soton.ac.uk/
lavm/Quantum/ .
- 9
- F. PESSAUX,
« Ajout d'une conditionnelle dans un système de modules à la
Caml »,
in: Journées francophones des langages applicatifs
1997 , INRIA, Collection Didactique,
janvier 1997.
- 10
- C. QUEINNEC,
« Distributed Generic Functions »,
in: Second France-Japan workshop on Object-Based Parallel
and Distributed Computing -- OBPDC '97 , J.-P. Bahsoun, T.
Baba, J.-P. Briot (réd.),
Toulouse (France), octobre 1997.
- 11
- C. QUEINNEC,
« Sérialisation-désérialisation en DMeroon »,
in: NOTERE97 -- Colloque international sur les NOuvelles
TEchnologies de la REpartition , O. Rafiq (réd.), Éditions
TASC, p. 333-346,
Pau (France), novembre 1997,
http://rerir.univ-pau.fr/NOTERE97/
.
- 12
- D. RÉMY,
« From Classes to Objects via Subtyping »,
in: European Symposium On Programming , Lecture
Notes in Computer Science , Springer,
March 1998. À paraître.
- 13
- D. RÉMY, J.
VOUILLON,
« Objective ML: A simple object-oriented extension of ML »,
in: Proceedings of the 24th ACM Conference on Principles of
Programming Languages , ACM Press, p. 40-53,
Paris, France, janvier 1997.
- Rapports de
recherche
- 14
- X. LEROY, D.
RÉMY, J.
VOUILLON,
The Objective Caml system, documentation and user's manual
- release 1.07 ,
INRIA, décembre 1997,
documentation distribuée avec le système Objective Caml.
- 15
- X. LEROY,
The Caml Light system, release 0.74 - Documentation and
user's manual ,
INRIA, décembre 1997,
documentation distribuée avec le système Caml Light.
- 16
- M. MAUNY,
Functional programming using Caml Light (version 0.74)
,
INRIA, décembre 1997,
documentation distribuée avec le système Caml Light.
- 17
- V.
MéNISSIER-MORAIN,
« Coq tacticals considered powerful: thoughts about methodology
of proof »,
Rapport de recherche, Institut National de Recherche en
Informatique et Automatique, 1997,
À paraître.
- 18
- L. MOREAU, C.
QUEINNEC,
« On the Finiteness of Resources in Distributed Computing
»,
Research Report No3147, INRIA, avril 1997,
http://www.inria.fr/RRRT/RR-3147.html
.
- 19
- C. QUEINNEC,
« Le langage de commande Gibiane, Description informelle,
Révision 1.23 »,
Contrat CEA/SAV 24025/SAV, Rapport NoLIP6/SPI/019, LIP6, juin
1997,
ftp://ftp.lip6.fr/lip6/reports/1997/lip6.1997.019.ps.gz
.
- Divers
- 20
- D. BOLIGNANO, V.
MÉNISSIER-MORAIN,
« Formal verification of Cryptographic Protocols using Coq
»,
Soumis au numéro spécial "Formal Proof" du Journal of Automated
Reasoning, janvier 1997.
- 21
- C. DUBOIS, V.
MÉNISSIER-MORAIN,
« Proof of the correctness of a type inference tool for ML:
Damas-Milner within Coq »,
Soumis au numéro spécial "Formal Proof" du Journal of Automated
Reasoning, janvier 1997.
- 22
- C. DUBOIS, V.
MÉNISSIER-MORAIN,
« Typage de ML : Spécification et Preuve en Coq »,
Actes des journées du GDR de programmation, novembre 1997.
- 23
- B. LANG, V.
VIGUIÉ
DONZEAU-GOUGE,
P. WEIS,
« Internet, nouvelle utopie humaniste? »,
Le Monde , mercredi 1ier octobre 1997, page 21.
- 24
- M. MAUNY, C.
RINDERKNECHT,
« Position paper about the ASN.1 ``Formal Model'' »,
ISO working document, 1997.
- 25
- D. RÉMY,
« From Classes to Objects via Subtyping »,
Soumis à publication. Présenté au workshop Theories of Types
and Proofs, Kyoto, Japon, septembre 1997.
- Bibliographie
générale
- DL93
- Damien Doligez and Xavier Leroy.
A concurrent, generational garbage collector for a
multithreaded implementation of ML.
In Proc. 20th symp. Principles of Programming
Languages, pages 113-123. ACM press, 1993.
- Ler96
- Xavier Leroy.
A syntactic theory of type generativity and sharing.
Journal of Functional Programming, 6(5):667-698,
1996.
- LR96
- Bernard Lang and François Rouaix.
The V6 Engine.
Proceedings the Worshop Programming the Web, 5th International
World Wide Web Conference, May 1996.
- LW93
- Xavier Leroy and Pierre Weis.
Manuel de référence du langage Caml.
InterÉditions, July 1993.
- Rém94
- Didier Rémy.
Programming objects with ML-ART: An extension to ML with
abstract and record types.
In Masami Hagiya and John C. Mitchell, editors, Theoretical
Aspects of Computer Software, volume 789 of Lecture
Notes in Computer Science, pages 321-346. Springer-Verlag,
April 1994.
- Rou96
- François Rouaix.
A Web navigator with applets in Caml.
In Proceedings of the 5th International World Wide Web
Conference, in Computer Networks and Telecommunications
Networking, volume 28, pages 1365-1371. Elsevier, May
1996.
- WL93
- Pierre Weis and Xavier Leroy.
Le langage Caml.
InterÉditions, July 1993.