HKUST TACO Lab
Types, Abstraction, Compilers & Optimization – research group at HKUST
- 22 followers
- Hong Kong
- https://taco-lab.netlify.app/
Pinned Loading
Repositories
Showing 9 of 9 repositories
- mlscript Public
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
hkust-taco/mlscript’s past year of commit activity - superf Public
Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)
hkust-taco/superf’s past year of commit activity - metaprogramming-web-demo Public
hkust-taco/metaprogramming-web-demo’s past year of commit activity - mlscript-syntax-highlighting Public
hkust-taco/mlscript-syntax-highlighting’s past year of commit activity - hmloc Public
Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference (Artifact) https://dl.acm.org/doi/10.1145/3622812
hkust-taco/hmloc’s past year of commit activity - f-multi-sub-fcc Public Forked from ia0/fcc
Coq formalization of F{≤} ~> System Fcc (coercion framework)
hkust-taco/f-multi-sub-fcc’s past year of commit activity