Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jean-Christophe Filliâtre's home page
[go: Go Back, main page]

no image

Jean-Christophe Filliâtre

Contact

Research

CNRS researcher. I work at the Laboratoire de Recherche en Informatique (Université Paris Sud), in the team Démons which is part of the Proval project.

Recent publications:

All publications

Software

I'm the (co)author of the following programs: Many other libraries and applications on that page dedicated to Caml programming. The Caml Language

Teaching

Lecture on Why and Caduceus at the TYPES Summer School 2007: notes (PDF) / slides (PDF) / lab exercises (PDF)

I wrote an Introduction to functional programming (in French).

Some Computer Science problems in Caml submitted to first degree students (in French)

Miscellaneous


Français
Jean-Christophe.Filliatre[at]lri.fr (formatted with yamlpp).