Martin Clochard

I am a PhD student since october 2013 at the LRI in Université Paris-Sud, under supervision of Claude Marché.

Mail: (p.n@d.c)[p:=martin, n:=clochard, d:=lri, c:=fr]

Publications
The code corresponding to the paper "Verified Programs With Binders" can be found here