Andong Fan
where else to find them
linkedin:andong-fan-9197a9190
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 5 in the filters
who talks about the same things
- Chun Yin Chau3 talks
- Lionel Parreaux19 talks
- Aleksander Boruch-Gruszecki9 talks
- Wenjia Ye5 talks
- Han Xu6 talks
- Chen Cui3 talks
| title | conference | date |
|---|---|---|
| Type Inference Techniques: Implementation and Formalization, Better Together | WITS 2026 | 2026-01-17 |
Argues that informal compiler hacks need formal proofs and demonstrates this with two concrete cases: scope checks for high‑rank polymorphism implemented via… | ||
| Practical Type Inference with Levels | PLDI 2025 | 2025-06-16 |
Formalizes the implementation trick called levels for Hindley‑Milner style systems, covering generalization, local data types, and higher‑rank polymorphism… | ||
| When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C... | POPL 2024 | 2024-01-14 |
Introduces a declarative system F{≤} and an algorithm SuperF that uses multi‑bounded polymorphism to infer first‑class polymorphic types, encoding… | ||
| nothing matches | ||