John Peter Campora III
where else to find them
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
- Sheng Chen6 talks
- Matías Toro6 talks
- Eric Giovannini2 talks
- Wenjia Ye5 talks
- Éric Tanter12 talks
- Max S. New8 talks
| title | conference | date |
|---|---|---|
| Type-based Gradual Typing Performance Optimization | POPL 2024 | 2024-01-14 |
Implements discriminative typing that infers per-function types, duplicates each function into an optimized and a safe version, and uses variational typing… | ||
| Taming Type Annotations in Gradual Typing | OOPSLA 2020 | 2020-11-15 |
Paper claims static analysis can find incorrect annotations that later cause runtime cast errors by combining type inference with variational types and a… | ||
| nothing matches | ||