Inria
Inria Channel
- Presentation
- HAL publications
- Activity reports
CRISTAL Research team
CRISTAL team publications
2008
Articles in peer-reviewed journal
- Titre
- The Multi-Dimensional Refinement Indicators Algorithm for Optimal Parameterization
- Auteurs
- Hend Ben Ameur; François Clément; Pierre Weis; Guy Chavent
- Détail
- Journal of Inverse and Ill-posed Problems, De Gruyter, 2008, 16 (2), pp. 107-126
- Accès au texte intégral et bibtex
-
2007
Articles in peer-reviewed journal
- Titre
- Typer la désérialisation sans sérialiser les types
- Auteurs
- Grégoire Henry; Michel Mauny; Emmanuel Chailloux
- Détail
- Revue Technique et Science Informatiques, 2007, 26 (9), pp. 1067-1090
- Accès au bibtex
-
Peer-reviewed conferences/proceedings
- Titre
- On the implementation of construction functions for non-free concrete data types
- Auteurs
- Frédéric Blanqui; Thérèse Hardin; Pierre Weis
- Détail
- 16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. LNCS, 4421
- Accès au texte intégral et bibtex
-
Research reports
- Titre
- Separation Logic for Small-step Cminor (extended version)
- Auteurs
- Andrew W. Appel; Sandrine Blazy
- Détail
- [Research Report], 2007, pp. 34. RR-6138
- Accès au texte intégral et bibtex
-
2006
Peer-reviewed conferences/proceedings
- Titre
- Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
- Auteurs
- Fabio Mancinelli; Jaap Boender; Roberto Di Cosmo; Jérôme Vouillon; Berke Durak; Xavier Leroy; Ralf Treinen
- Détail
- 21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. ACM, pp. 199-208
- Accès au texte intégral et bibtex
-
- Titre
- News from the EDOS project: improving the maintenance of free software distributions.
- Auteurs
- Roberto Di Cosmo; Jaap Boender; Berke Durak; Xavier Leroy; Fabio Mancinelli; Mario Morgado; David Pinheiro; Ralf Treinen; Paulo Trezentos; Jérôme Vouillon
- Détail
- Olivier Berger. Apr 2006, Porto Alegre, Brazil. Brazilian Computer Society, pp. 199-207
- Accès au bibtex
-
- Titre
- Maintaining large software distributions: new challenges from the FOSS era.
- Auteurs
- Roberto Di Cosmo; Berke Durak; Xavier Leroy; Fabio Mancinelli; Jérôme Vouillon
- Détail
- Apr 2006, Vienna, Austria. EASST, pp. 7-20, EASST Newsletter, volume 12
- Accès au bibtex
-
- Titre
- Towards efficient, typed LR parsers.
- Auteurs
- François Pottier; Yann Regis-Gianas
- Détail
- ACM Workshop on ML, Mar 2006, Portland, Oregon, United States.
- Accès au bibtex
-
- Titre
- Typer la dé-sérialisation sans sérialiser les types
- Auteurs
- Grégoire Henry; Michel Mauny; Emmanuel Chailloux
- Détail
- Jan 2006, Pauillac, France. INRIA, pp. 133-146
- Accès au texte intégral et bibtex
-
- Titre
- Formal Verification of a C Compiler Front-end
- Auteurs
- Sandrine Blazy; Zaynah Dargaye; Xavier Leroy
- Détail
- Jayadev Misra, Tobias Nipkow and Emil Sekerinski. FM'06: 14th Symposium on Formal Methods, Aug 2006, Hamilton, Canada. Springer-Verlag, FM 2006: Formal Methods, 4085, pp.460-475, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
- Titre
- Stratified type inference for generalized algebraic data types
- Auteurs
- François Pottier; Yann Regis-Gianas
- Détail
- POPL'06 - Proceedings of the 33rd ACM Symposium on Principles of Programming Languages, Jan 2006, Charleston, South Carolina, United States. pp. 232-244
- Accès au bibtex
-
2005
Peer-reviewed conferences/proceedings
- Titre
- Simple, partial type-inference for System F based on type-containment
- Auteurs
- Didier Rémy
- Détail
- Proceedings of the tenth International Conference on Functional Programming, Sep 2005, Tallinn, Estonia.
- Accès au texte intégral et bibtex
-
- Titre
- Subtyping Recursive Types Modulo Associative Commutative Products
- Auteurs
- Roberto Di Cosmo; Didier Rémy; François Pottier
- Détail
- 7th International Conference, TLCA 2005, Mar 2005, Nara, Japan. Springer Berlin / Heidelberg, pp. 179-193, Lecture Notes in Computer Science
- Accès au bibtex
-
- Titre
- Formal verification of a memory model for C-like imperative languages
- Auteurs
- Sandrine Blazy; Xavier Leroy
- Détail
- Kung-Kiu Lau, Richard Banach. ICFEM'05: 7th International Conference on Formal Engineering Methods, Nov 2005, Manchester, United Kingdom. Springer, Formal Methods and Software Engineering, 3785, pp. 280-299, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
Congres communications
- Titre
- Skeletal parallel programming with OCamlP3L 2.0
- Auteurs
- Roberto Di Cosmo; Zheng Li; Susanna Pelagatti; Pierre Weis
- Détail
- Proceedings of Third International Workshop on High-level Parallel Programming and Applications (HLPP 2005), Jul 2005, Warwick, United Kingdom.
- Accès au bibtex
-
Research reports
- Titre
- Automates modulaires
- Auteurs
- Benoit Razet
- Détail
- [Research Report], 2005, pp. 43. RR-5788
- Accès au texte intégral et bibtex
-
- Titre
- Constraint-Based Type Inference for Guarded Algebraic Data Types
- Auteurs
- Vincent Simonet; François Pottier
- Détail
- [Research Report], 2005, pp. 65. RR-5462
- Accès au texte intégral et bibtex
-
2004
Research reports
- Titre
- Parallel Programming with the System Applications to Numerical Code Coupling
- Auteurs
- François Clément; Roberto Di cosmo; Zheng Li; Vincent MARTIN; Arnaud Vodicka; Pierre Weis
- Détail
- [Research Report], 2004. RR-5131
- Accès au texte intégral et bibtex
-
Thesis
- Titre
- MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite
- Auteurs
- Didier Le Botlan
- Détail
- Ecole Polytechnique X, May. 2004. English
- Accès au texte intégral et bibtex
-
2003
Peer-reviewed conferences/proceedings
- Titre
- Compilation of extended recursion in call-by-value functional languages
- Auteurs
- Tom Hirschowitz; Xavier Leroy; J. B. Wells
- Détail
- PPDP '03, 2003, Uppsala, Sweden. ACM, pp. 160-171
- Accès au texte intégral et bibtex
-
Research reports
- Titre
- The Flow Caml System: Documentation and user's manual
- Auteurs
- Vincent Simonet
- Détail
- [Report], 2003, pp. 155. RT-0282
- Accès au texte intégral et bibtex
-
- Titre
- Couplage de codes numériques, parallélisme et langages de haut niveau
- Auteurs
- François Clément; Arnaud Vodicka; Roberto Di cosmo; Pierre Weis
- Détail
- [Research Report], 2003. RR-4825
- Accès au texte intégral et bibtex
-
- Titre
- On the implementation of recursion in call-by-value functional languages
- Auteurs
- Tom Hirschowitz; Xavier Leroy; J. B. Wells
- Détail
- [Research Report], 2003. RR-4728
- Accès au texte intégral et bibtex
-
2002
Research reports
- Titre
- A reduction semantics for call-by-value mixin modules
- Auteurs
- Tom Hirschowitz; Xavier Leroy; Joe B. Wells
- Détail
- [Research Report], 2002. RR-4682
- Accès au texte intégral et bibtex
-
2001
Peer-reviewed conferences/proceedings
- Titre
- JOIN(X): Constraint-Based Type Inference for the Join-Calculus
- Auteurs
- Sylvain Conchon; François Pottier
- Détail
- David Sands. Proceedings of the 10th European Symposium on Programming (ESOP'01), Apr 2001, Genova. Springer Verlag, Lecture notes in computer science, 2028, pp. 221-236
- Accès au texte intégral et bibtex
-
Research reports
- Titre
- A Semi-Syntactic Soundness Proof for HM(X)
- Auteurs
- François Pottier
- Détail
- [Research Report], 2001. RR-4150
- Accès au texte intégral et bibtex
-
2000
Articles in peer-reviewed journal
- Titre
- An extension of Satoh's algorithm and its implementation
- Auteurs
- Mireille Fouquet; Pierrick Gaudry; Robert Harley
- Détail
- Journal of the Ramanujan Mathematical Society, Ramanujan Mathematical Society, 2000, 15, pp. 281-318
- Accès au texte intégral et bibtex
-
Peer-reviewed conferences/proceedings
- Titre
- Counting points on hyperelliptic curves over finite fields
- Auteurs
- Pierrick Gaudry; Robert Harley
- Détail
- Wieb Bosma. ANTS-IV, 2000, Leiden, Netherlands. Springer Verlag, Algorithmic Number Theory, 1838, pp. 313-332, LNCS
- Accès au texte intégral et bibtex
-
- Titre
- Finding secure curves with the Satoh-FGH algorithm and an early-abort strategy
- Auteurs
- Mireille Fouquet; Pierrick Gaudry; Robert Harley
- Détail
- Birgit Pfitzman. Eurocrypt, 2001, Innsbruck, Austria. Springer Verlag, Advances in Cryptology - EUROCRYPT 2001, 2045, pp. 14-29, 2000, LNCS
- Accès au texte intégral et bibtex
-
1998
Research reports
- Titre
- Type-Based Analysis of Uncaught Exceptions
- Auteurs
- Xavier Leroy; François Pessaux
- Détail
- [Research Report], 1998. RR-3541
- Accès au texte intégral et bibtex
-
- Titre
- Type Inference in the Presence of Subtyping: from Theory to Practice
- Auteurs
- François Pottier
- Détail
- [Research Report], 1998. RR-3483
- Accès au texte intégral et bibtex
-
1997
Peer-reviewed conferences/proceedings
- Titre
- Application of formal methods to the development of a software maintenance tool
- Auteurs
- Sandrine Blazy; Philippe Facon
- Détail
- IEEE CS Press. ASE'97: The 12th IEEE Conference on Automated Software Engineering., Nov 1997, Lake Tahoe, Nevada, USA. pp. 162-171
- Accès au texte intégral et bibtex
-
Research reports
- Titre
- On the Finiteness of Resources in Distributed Computing
- Auteurs
- Luc Moreau; Christian Queinnec
- Détail
- [Research Report], 1997. RR-3147
- Accès au texte intégral et bibtex
-
1996
Peer-reviewed conferences/proceedings
- Titre
- An automatic interprocedural analysis for the understanding of scientific application programs
- Auteurs
- Sandrine Blazy; Philippe Facon
- Détail
- Springer Verlag. Dagstuhl seminar on partial evaluation, Feb 1996, Saarbrucken, Germany. Partial evaluation, 1110, pp. 1-16, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
Research reports
- Titre
- A New Presentation of the Intersection Type Discipline through Principal Typings of Normal Forms
- Auteurs
- Emilie Sayag; Michel Mauny
- Détail
- [Research Report], 1996. RR-2998
- Accès au texte intégral et bibtex
-
- Titre
- A Modular Module System
- Auteurs
- Xavier Leroy
- Détail
- [Research Report], 1996. RR-2866
- Accès au texte intégral et bibtex
-
1995
Research reports
- Titre
- Une analyse syntaxique d'ASN.1 : 1990 en Caml Light
- Auteurs
- Christian Rinderknecht
- Détail
- [Report], 1995, pp. 228. RT-0171
- Accès au texte intégral et bibtex
-
- Titre
- Le système Caml Special Light: modules et compilation efficace en Caml
- Auteurs
- Xavier Leroy
- Détail
- [Research Report], 1995. RR-2721
- Accès au texte intégral et bibtex
-
- Titre
- A syntactic theory of type generativity and sharing
- Auteurs
- Xavier Leroy
- Détail
- [Research Report], 1995. RR-2545
- Accès au texte intégral et bibtex
-
- Titre
- Implémentation d'un système de modules évolué en Caml-Light
- Auteurs
- François Pottier
- Détail
- [Research Report], 1995. RR-2449
- Accès au texte intégral et bibtex
-
1994
Research reports
- Titre
- 1+1=1 : an optimizing Caml compiler
- Auteurs
- Manuel Serrano; Pierre Weis
- Détail
- [Research Report], 1994. RR-2301
- Accès au texte intégral et bibtex
-
- Titre
- An Implementation of Caml-Light with existential types
- Auteurs
- Michel Mauny; Francois Pottier
- Détail
- [Research Report], 1994. RR-2183
- Accès au texte intégral et bibtex
-
1993
Research reports
- Titre
- Programmation du systeme Unix en Caml Light
- Auteurs
- Xavier Leroy
- Détail
- [Report], 1993, pp. 91. RT-0147
- Accès au texte intégral et bibtex
-
1992
Research reports
- Titre
- The CAML numbers reference manual
- Auteurs
- V. Menissier-Morain
- Détail
- [Report], 1992, pp. 157. RT-0141
- Accès au texte intégral et bibtex
-
1991
Research reports
- Titre
- Functional programming using CAML
- Auteurs
- Michel Mauny
- Détail
- [Research Report], 1991, pp. 119. RT-0129
- Accès au texte intégral et bibtex
-
1990
Research reports
- Titre
- The ZINC experiment : an economical implementation of the ML language
- Auteurs
- Xavier Leroy
- Détail
- [Report], 1990, pp. 100. RT-0117
- Accès au texte intégral et bibtex
-
The team CRISTAL
is stopped since 07/31/2005
Archives
Find out more
You will find in HAL Inria all the scientific publications of our research teams
See also
