Extensible Metatheory Mechanization via Family Polymorphism
Jin, Ende, Amin, Nada, Zhang, Yizhou
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article