A Coq formalization of the Heapster type system
Requires Coq 8.19, and the following opam packages:
coq-itree
coq-paco
coq-ext-lib
The formalization for the OOPSLA 2021 publication is found at the following branch: https://github.com/GaloisInc/heapster-formalization/tree/oopsla-2021