Programmation fonctionnelle certifiée: L'extraction de programmes dans l'assistant Coq

Pierre Letouzey, Université Paris-Sud — 2004

Links

URL

Abstract

Theory and Implementation of Rocq
Extraction