Mentions légales du service
A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.