, INRIA Microsoft Research Joint Centre, France

• Journal of Formalized Reasoning Vol. 3 No. 2 (2010): Special Issue: User Tutorials I - Articles
  An introduction to small scale reflection in Coq
  Abstract  PDF