Pinned Loading
-
hkust-taco/mlscript
hkust-taco/mlscript PublicThe MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
-
hkust-taco/superoop
hkust-taco/superoop PublicArtifact 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/superf
hkust-taco/superf PublicArtifact 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)
Scala 12
-
CP-Foundations
CP-Foundations PublicArtifact and extended version of Direct Foundations for Compositional Programming
-
QSCTech/qsc-mobile-ios-v3
QSCTech/qsc-mobile-ios-v3 PublicLegacy Code of ZJU Campus App for iOS
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.