juda/dissertation-artifacts juda/dissertation-artifacts

  • Stars
    star
    2
  • Language Coq
  • License
    GNU General Publi...
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
juda/dissertation-artifacts
github

juda

Reviews

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

Repository Details

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

More Repositories

1

Recursive-Subtyping-for-All

The artifact of the paper "Recursive Subtyping for All"
Coq
8
star
2

Iso-Recursive-Subtyping

Revisiting Iso-Recursive Subtyping
HTML
3
star
3

scheme

Implement a scheme Interpretation
Python
2
star
4

juda.github.io

HTML
1
star