HKUST TACO Lab's repositories
f-multi-sub-fcc
Coq formalization of F{≤} ~> System Fcc (coercion framework)
Language:Coq000
ucs
Artifact for paper "The Ultimate Conditional Syntax" at OOPSLA 2024.
Language:ScalaMIT000
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".
Language:TypeScript000