Kuen-Bang Hou (Favonia)
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2022–2023
on a stage with
- Reed Mullanix2×
- Carlo Angiulionce
- Kevin Buzzardonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| asai: a Library for Compiler Diagnostics | WITS 2024 | 2024-01-20 |
asai is an OCaml library that generates structured and partly‑unstructured compiler diagnostics, using algebraic effects to build semantic, user‑level… | ||
| An Order-Theoretic Analysis of Universe Polymorphism | POPL 2023 | 2023-01-15 |
Claims that universe polymorphism equals monads on strict partial orders and that every usable universe hierarchy embeds into newly defined displacement… | ||
| Proof Assistants for PL and Math | POPL 2022 Virtual Workshop | 2022-01-27 |
Panel reports active, practical work: large libraries (Lean + mathlib, ~700k LOC) and successful formalizations (including the four‑color style project and… | ||
| Logarithm and Program Testing | POPL 2022 | 2022-01-16 |
Proposes a mechanical monomorphization that, for prenex System F with products, sums, functions and strictly positive inductive types, computes a special type… | ||
| nothing matches | ||