← All repos

hkust-taco/mlstruct

View on GitHub ↗ ★ 53 Scala

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

4 mentions on Hacker News by 3 people: 0 stories, 4 comments · first 2024-06-12 · latest 2026-10-12