hkust-taco/mlstruct

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

语言：Scala · GitHub 星标：52 · Fork：2

话题：functional-programming · type-inference

在 GitHub 上查看原仓库