cps-from-stlc-to-sysf Modeling the CPS translation from STLC to System F found in "An Equivalence-Preserving CPS Translation via Multi-Language Semantics" using Coq. Our current starting point is based on Arthur Charguéraud's System-Fsub.