Programmation fonctionnelle certifiée: L'extraction de programmes dans l'assistant Coq
Pierre Letouzey, Université Paris-Sud — 2004
Links
Abstract
Theory and Implementation of Rocq
Extraction
Theory and Implementation of Rocq
Extraction