Giters

jiangsy / ElementaryTypeInference

ECOOP 2022 Elementary Type Inference

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ElementaryTypeInference

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

About

ECOOP 2022 Elementary Type Inference

Languages

Language:OCaml 83.1%Language:Standard ML 4.8%Language:Haskell 3.3%Language:AMPL 3.0%Language:HTML 2.5%Language:Ruby 1.5%Language:Emacs Lisp 1.1%Language:E 0.4%Language:Makefile 0.4%Language:Euphoria 0.0%