This repository contains the extended version (paper_extended.pdf) and artifacts for the ECOOP 2022 submission Elementary Type Inference.
Artifacts consist of:
- Abella proof scripts (src/proof_2.0.8_dev) and proof and source code for customized Abella interpreter (src/proof_modded & src/abella_src_modded)
- Haskell implementation of the type inference algorithm (src/implementation)
- Please refer to the doc (src/artifact-doc.md) for more information