Subtyping Without Reduction. - Brandon Hewer; Graham Hutton (MPC, 2022)

Quotient Haskell: Lightweight Quotient Types for All. - Brandon Hewer; Graham Hutton (Proc. ACM Program. Lang., 2024)