Zero-Cost Constructor Subtyping

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462194 ◽

2020 ◽

Author(s):

Andrew Marmaduke ◽

Christopher Jenkins ◽

Aaron Stump

Download Full-text