Brandon Hewer

Orcid: 0009-0003-8731-6963

According to our database¹, Brandon Hewer authored at least 3 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Quotient Polymorphism.

[DOI]

Proc. ACM Program. Lang., 2026

2024

Quotient Haskell: Lightweight Quotient Types for All.

[DOI]

Proc. ACM Program. Lang., January, 2024

2022

Subtyping Without Reduction.

[DOI]

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022