Justin Frank
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Benjamin Quiring4 talks
- Adam T. Geller3 talks
- William J. Bowman13 talks
- Leonidas Lampropoulos15 talks
- Benjamin C. Pierce17 talks
- Harrison Goldstein10 talks
| title | conference | date |
|---|---|---|
| Generating Well-Typed Terms that are not "Useless" | POPL 2024 | 2024-01-14 |
Generates well typed lambda terms that intentionally delay choosing argument types by introducing extension variables and an extensible application rule… | ||
| Indexed Types for a Statically Safe WebAssembly | POPL 2024 | 2024-01-14 |
Wasm-prechk extends Wasmtime with an indexed-type system and a new memory-load-precheck instruction that lets the compiler remove per-access dynamic bounds… | ||
| nothing matches | ||