Program - Program : Programming with Dependent Types in Coq
Date of the last release: 01 January 2007

Person in charge : PAULIN-MOHRING Christine




More information: http://www.lri.fr/~sozeau/research/russell.en.html

Software



Research activities
  Program proof
  Functional programming
  Type Theory
  Higher-Order Languages

Members
  SOZEAU Matthieu

Group
  Verification of Algorithms, Languages and Systems

Joint Inria project team
  Toccata

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE