Giters
HKUST TACO Lab (hkust-taco)

HKUST TACO Lab

hkust-taco

Geek Repo

Types, Abstraction, Compilers & Optimization – research group at HKUST

Location:Hong Kong

Home Page:https://taco-lab.netlify.app/

Github PK Tool:Github PK Tool

HKUST TACO Lab's repositories

mlscript

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

Language:ScalaLicense:MITStargazers:135Issues:6Issues:69

mlstruct

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

Language:ScalaLicense:MITStargazers:27Issues:2Issues:0

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)

Language:ScalaLicense:MITStargazers:12Issues:0Issues:0

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)

Language:ScalaLicense:MITStargazers:10Issues:1Issues:0

hmloc

Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference (Artifact) https://dl.acm.org/doi/10.1145/3622812

Language:ScalaLicense:MITStargazers:6Issues:1Issues:0

mlscript-syntax-highlighting

License:MITStargazers:1Issues:1Issues:3

f-multi-sub-fcc

Coq formalization of F{≤} ~> System Fcc (coercion framework)

Language:CoqStargazers:0Issues:0Issues:0

koka-ctrc

koka constant time memory management hack

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

metaprogramming-web-demo

Language:ScalaLicense:MITStargazers:0Issues:1Issues:0