Login / Signup
Brandon Hewer
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Development Environments
Handheld Devices
Machine Intelligence
Lightweight
Top Venues
Proc. ACM Program. Lang.
MPC
</>
Publications
</>
Brandon Hewer
,
Graham Hutton
Quotient Haskell: Lightweight Quotient Types for All.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Brandon Hewer
,
Graham Hutton
Subtyping Without Reduction.
MPC
(2022)