Concepedia

Pierre Castéran

PC

4

Publications

1.1K

Citations

4

H-Index

2004

Active since

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Pierre Castéran is an author at Laboratoire Bordelais de Recherche en Informatique.

Publications per year

2004–2014

4

Publications

4

Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

Pierre Castéran, Yves Bertot · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 1.1K citations

Tasks, types and tactics for local computation systems

Pierre Castéran, Vincent Filou · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 16 citations

A Gentle Introduction to Type Classes and Relations in Coq

Pierre Castéran, Matthieu Sozeau · 2014 · 10 citations

Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant

Pierre Castéran, Vincent Filou, Mohamed Mosbah · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 10 citations

Rows per page

1–4 of 4