dkxxxl / fpop Goto Github PK
View Code? Open in Web Editor NEWFamily Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286
Home Page: https://cs.uwaterloo.ca/~yizhou/papers/fpop-pldi2023-tr.pdf
License: MIT License