juda/Recursive-Subtyping-for-All juda/Recursive-Subtyping-for-All

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language Coq
  • Created about 2 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
juda/Recursive-Subtyping-for-All
github

juda

Reviews

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

Repository Details

The artifact of the paper "Recursive Subtyping for All"

More Repositories

1

Iso-Recursive-Subtyping

Revisiting Iso-Recursive Subtyping
HTML
3
star
2

dissertation-artifacts

The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"
Coq
2
star
3

scheme

Implement a scheme Interpretation
Python
2
star
4

juda.github.io

HTML
1
star