The Implementation of Unification-Based Type Inference Algorithm in Scala with Let-Polymorphism

发布于 2022-02-11

The type inference algorithm always plays an important role in …

Theoretical Foundation of Typechecking algorithm for Equi-Recursive Types

发布于 2022-01-21

Theoretical Foundation of Typechecking Algorithm for Equi-Recursi …

发布于 2021-12-19

Subtyping We use \tau <: \sigma to denote that \tau is a sub …

发布于 2021-11-29

Strong Normalization of Simply Typed Lambda Calculus From the ( …

发布于 2021-11-14

Preliminaries The Typing Relation A term t belongs to type T me …

发布于 2021-11-10

The syntax of Church’s lambda calculus can be described by BNF: ̷

发布于 2021-11-10

\cfrac{premise}{conclusion} is called inference rule, it stands f …