hkust-taco/mlstruct
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
ScalaMIT
Stargazers
- akaralarBarcelona, Spain
- Amanzh01
- aslakg
- baldvin@opus-futura
- breandan@mila-iqia
- chengluyu@hkust-taco
- drakmaniso
- erichoceanXy Group Ltd
- erszcz@esl
- larzconwell
- lengyijunSJTU
- mazyutyu
- michallepicki
- mneumannNTECS Consulting
- nerodonoNDA HFT
- OlivkiSweden
- omasanoriJapan, or anywhere else
- oovmTencent
- sudottyPrime tech
- thwfhkThe University of Edinburgh
- tkburnsMicrosoft
- tominated@datadog
- turolFinland
- vicSoftware Villain
- weebsChi
- winniequinnEx-@facebook
- wolverian@reaktor
- wongjiahauMalaysia