HKUST TACO Lab

icon indicating a website link https://taco-lab.netlify.app/

icon location Hong Kong icon location Types, Abstraction, Compilers & Optimization – research group at HKUST

Results 2 repositories owned by HKUST TACO Lab

mlscript

134
Stars
25
Forks
Watchers

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

verified publisher icon hkust-taco

mlstruct

24
Stars
2
Forks
Watchers

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

verified publisher icon hkust-taco