Teaching and Course Notes
2011-2012
Courses notes for the courses taught in the Master 1 of
University Paris Diderot
:
Logiciel Libre (Free Software)
Programmation Fonctionnelle Avancée
Courses notes for the courses taught in the
Master MPRI
:
Introduction to Linear Logic
(in cooperation with
Vincent Danos
)
Before 2011-2012
Courses notes for the courses taught in the Master of
University Paris Diderot
:
Compilation
Sémantique
Logiciel Libre (Free Software)
Courses notes for the courses taught in the Master of
ENS Cachan
:
Programmation 2
Courses notes for the courses taught in the Licence de
University Paris Diderot
:
Mathématiques pour l'Informatique
Courses notes for the courses taught in the IUP de
University Paris Diderot
:
Programmation C
Courses notes for the courses taught in the DEUG MIAS de
University Paris Diderot
:
IF121
(1999/2000-2000/2001)
IF242
(2003/2004)
Conferences professionnelles
pour la Maîtrise de
University Paris Diderot
:
Courses notes for the courses taught in the
Dea de Sémantique, Preuves et Programmation
:
Denotational Semantics
Introduction to Linear Logic
(in cooperation with
Vincent Danos
)
Courses taught in the
MMFAI
: Support documents for the introductory course on
Objective Caml
Some general courses taught
in french ...
and here is something on
Object Oriented
Selected Lectures, Seminars, Schools:
A brief history of rewriting with extensionality
(
Gzipped Postscript
),
A lecture given at the International Summer School on Type Theory and Rewriting, Glasgow, September 1996.
Some nice projects by our students
CamlSearch (by Jerome Vouillon and
Julien Jalon
). You can try it now! (
english
french
)
CamlLight avec Dimensions
(by
Bruno Blanchet
)