Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Program
Program - Program : un langage de programmation avec types dépendants dans Coq
Date de dernière version : 01 janvier 2007

Responsable : PAULIN-MOHRING Christine




Pour en savoir plus: http://www.lri.fr/~sozeau/research/russell.en.html

Logiciel



Activités de recherche
  Preuve de programme
  Programmation fonctionnelle
  Théorie des types
  Langages d'ordre supérieur

Membres
  SOZEAU Matthieu

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library