Inria / Raweb 2005
Project: Cristal

Type-safe programming, modularity and compilation

• Members
• Overall Objectives
• Scientific Foundations
  • Type systems
  • The Caml programming language
• Application Domains
  • Software reliability
  • Processing of complex structured data
  • Fast development
  • Programming secure applications
  • Web programming
  • Teaching programming
  • Computational linguistics
• Software
  • Advanced software
  • Prototype software
• New Results
  • Type systems
  • XML transformation languages
  • Certified compilation
  • Software-proof codesign
  • The Objective Caml system, libraries and tools
  • Formal management of software dependencies
  • Computational linguistics
• Contracts and Grants with Industry
  • The Caml Consortium
  • ReFLect
• Other Grants and Activities
  • National initiatives
  • European initiatives
• Dissemination
  • Interaction with the scientific community
  • Teaching
  • Participation in conferences and seminars
  • Industrial relations
  • Other dissemination activities
• Bibliography
  • Major publications
  • Publications of the year
  • References in notes