Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Admin message

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

C

cps

Project information

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

546 Commits
2 Branches
1 Tag

README

Created on

May 11, 2017

Copy SSH clone URLgit@gitlab.inria.fr:fpottier/cps.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/fpottier/cps.git

Loading