hkust-taco/superf hkust-taco/superf

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Scala
  • License
    MIT License
  • Created over 1 year ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hkust-taco/superf
github

hkust-taco

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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)

More Repositories

1

mlscript

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

mlstruct

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

hmloc

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

mlscript-syntax-highlighting

1
star