Type Inference For TLA+ in Apalache - Jure Kukovec & Igor Konnov
Channel: Markus Kuppe
Date: 2020-10-02

https://conf.tlapl.us/2020/07-Kukovec_and_Konnov-Type_Inference_for_TLA_+_in_Apalache.pdf