Michael M. Vitousek
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Jeremy G. Siek2×
- Avik Chaudhurionce
- Max S. Newonce
who talks about the same things
- Koen Jacobs3 talks
- Matías Toro6 talks
- Eric Giovannini2 talks
- John Peter Campora III5 talks
- Éric Tanter12 talks
- Jeremy G. Siek14 talks
| title | conference | date |
|---|---|---|
| Deep and Shallow Types for Gradual Languages | PLDI 2022 | 2022-06-13 |
Combines deep (natural) and shallow (transient) gradual typing into one language and proves they interoperate while preserving deep’s type soundness and… | ||
| Optimizing and Evaluating Transient Gradual Typing | DLS 2019 | 2019-10-20 |
Gradual typing for Python via Reticulated Python inserts many lightweight runtime checks and shows up to a 6× slowdown on CPython as programs go from dynamic… | ||
| nothing matches | ||