gsrinfer

A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset.

Try it online!! https://gsrinfer.ymyzk.com

Usage

Compile & Run

omake
./src/main/main

Run unit tests

omake test

Requirements

• OCaml 4.02+
• OMake
• Menhir
• OUnit2
• js_of_ocaml

References

• Yusuke Miyazaki and Atsushi Igarashi. A type reconstruction algorithm for gradually typed delimited continuations. In 第19回プログラミングおよびプログラミング言語ワークショップ (PPL2017) 論文集, 2017.
• Ronald Garcia and Matteo Cimini. Principal Type Schemes for Gradual Programs. In Proc. of ACM POPL, 2015.