ltzone/Full-Iso-Recursive-Types ltzone/Full-Iso-Recursive-Types

  • Stars
    star
    1
  • Language Coq
  • Created 3 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ltzone/Full-Iso-Recursive-Types
github

ltzone

Reviews

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

Repository Details

Artifact for the OOPSLA 2024 paper "Full Iso-Recursive Types"

More Repositories

1

2021Spring

Labs/Assignments of 2021 Spring
Java
3
star
2

OCamlTiger

an OCaml solution of "Modern Compiler Implementation in ML" (in progress)
OCaml
3
star
3

2019Fall

EE208/CS221 homework
Python
3
star
4

my_leetcode

beginner
C++
1
star
5

EE447-Project

Distributed Computing Platform
Vue
1
star
6

csapp-lab

C
1
star
7

HOverifier

OCaml
1
star