Programmation functionnelle certifiée – L’extraction de programmes dans l’assistant Coq (2004)

by P Letouzey