HKUST TACO Lab
Pinned Loading
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 - metaprogramming-web-demo Public
hkust-taco/metaprogramming-web-demo’s past year of commit activity - ucs-web-demo Public
The web demo of the implementation of Ultimate Conditional Syntax in MLscript. This is a part of the artifact for paper "The Ultimate Conditional Syntax".
hkust-taco/ucs-web-demo’s past year of commit activity - lumberhack Public
hkust-taco/lumberhack’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 - mlscript-syntax-highlighting Public
hkust-taco/mlscript-syntax-highlighting’s past year of commit activity - superoop Public
Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)
hkust-taco/superoop’s past year of commit activity