Philippe Bidinger
Contact Information
VERIMAG
Centre Équation - 2, avenue de Vignate
38610 Giéres, France
Phone: +33 (0)4 56 52 04 15
Fax: +33 (0)4 56 52 04 46
Email:
Research
Publications
CHALK: A Prototype Implementation of the Kell Calculus.
Source code in Ocaml available here
Teaching 09/10
RICM. Langages de programmation