Thomas J. Porter
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 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Cyrus Omar21 talks
- Pavel Panchekha8 talks
- Andrew Blinn6 talks
- Eric Griffis2 talks
- Éric Tanter12 talks
- David Moon7 talks
| title | conference | date |
|---|---|---|
| Incremental Bidirectional Typing via Order Maintenance | OOPSLA 2025 | 2025-10-16 |
Presents a small-step incremental bidirectional type system that maintains binding pointers with an order maintenance data structure so inserts/deletes and… | ||
| Syntactic Completions with Material Obligations | OOPSLA 2025 | 2025-10-16 |
Prototype editor tall tylr completes malformed code by inserting abstract syntactic placeholders rather than enumerating text repairs, using a tile-based… | ||
| Incremental Bidirectional Typing via Order Maintenance | WITS 2025 | 2025-01-25 |
Presents an incremental algorithm that maintains total bidirectional typing for a gradually typed language via small-step update propagation that lets edits… | ||
| Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus | POPL 2025 | 2025-01-19 |
Paper claims a version-control model that removes patch synthesis and three-way merge by making edits commute: edits become no diff or merge commutative… | ||
| nothing matches | ||