Ishan Bhanuka
where else to find them
linkedin:bhanukaishan
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Lionel Parreaux19 talks
- David Binder7 talks
- Ondřej Lhoták11 talks
- Jonathan Aldrich17 talks
- Edward Lee10 talks
- Aleksander Boruch-Gruszecki9 talks
| title | conference | date |
|---|---|---|
| Type System Foundations for Super-Charged Semantic Code Search | Functional Conf 2025 | 2025-01-24 |
Extends Hindley-Milner with directional subtype constraints that record where every value is produced and consumed, including through constructors and across… | ||
| Getting into the Flow: Towards Better Type Error Messages for Constraint-Based ... | OOPSLA 2023 | 2023-10-23 |
Proposes turning constraint-generation into explicit data flows by attaching provenances (sequences of source locations) to algebraic subtyping constraints… | ||
| nothing matches | ||