Ishan Bhanuka

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Constraint Satisfaction

Top Venues

Proc. ACM Program. Lang.

Publications

Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. CoRR (2024)
Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)