Subtyping Without Reduction
(2022)
Presentation / Conference Contribution
Hewer, B., & Hutton, G. (2022, September). Subtyping Without Reduction. Presented at 14th International Conference, MPC 2022, Tbilisi, Georgia
Subtypes are useful and ubiquitous, allowing important properties of data to be captured directly in types. However, the standard encoding of subtypes gives no control over when the reduction of subtyping proofs takes place, which can significantly i... Read More about Subtyping Without Reduction.