This repository contains a proof for progress and preservation for System F_<: in ANF form.
The proof is based from the POPL '08 tutorial.
This repository contains a proof for progress and preservation for System F_<: in ANF form.
The proof is based from the POPL '08 tutorial.