Mentions légales du service

C

cps

A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.