hkust-taco / mlstruct

Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

Home Page:https://hkust-taco.github.io/mlstruct

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

hkust-taco/mlstruct Stargazers