This repository contains a proof for progress and preservation for System F_<: in ANF form.
The proof is based from the POPL '08 tutorial.
felko/anf-fsub
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains a proof for progress and preservation for System F_<: in ANF form.
The proof is based from the POPL '08 tutorial.