Pinned Repositories
hmloc
Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference (Artifact) https://dl.acm.org/doi/10.1145/3622812
koka-ctrc
koka constant time memory management hack
lumberhack
metaprogramming-web-demo
mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
mlscript-syntax-highlighting
mlstruct
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
superf
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)
superoop
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)
ucs
Artifact for paper "The Ultimate Conditional Syntax" at OOPSLA 2024.
HKUST TACO Lab's Repositories
hkust-taco/mlscript
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/mlstruct
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
hkust-taco/superf
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/superoop
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/hmloc
Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference (Artifact) https://dl.acm.org/doi/10.1145/3622812
hkust-taco/ucs
Artifact for paper "The Ultimate Conditional Syntax" at OOPSLA 2024.
hkust-taco/mlscript-syntax-highlighting
hkust-taco/f-multi-sub-fcc
Coq formalization of F{≤} ~> System Fcc (coercion framework)
hkust-taco/koka-ctrc
koka constant time memory management hack
hkust-taco/lumberhack
hkust-taco/metaprogramming-web-demo
hkust-taco/ucs-web-demo
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".