hkust-taco / mlstruct

Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
https://hkust-taco.github.io/mlstruct
MIT License
30 stars 2 forks source link