Ronald Garcia
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 4 in the filters
on a stage with
- Alexandre Moineonce
- Alison M. Clarkonce
- David C. Shepherdonce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| PLMW Panel | PLMW @ POPL 2025 | 2025-01-19 |
Career-panelists compare concrete career moves and tactics: experiences range from working at an employee‑owned consultancy with ~110 engineers to junior… | ||
| Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot E | OOPSLA 2022 | 2022-12-05 |
A block-based mobile-robot editor with two-canvas guided decomposition and a simulator is built and tested on 92 MTurk participants; the claim is that… | ||
| Propositional Equality for Gradual Dependently Typed Programming | ICFP 2022 | 2022-09-11 |
A gradual dependently-typed language is implemented that adds a propositional equality whose proofs carry witnesses (each proof pairs an equality with a term… | ||
| Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient | POPL 2021 | 2021-01-17 |
AGT gets two concrete fixes: a new evidence abstraction called bounded rows and records makes consistent evidence composition forward-complete, which prevents… | ||
| nothing matches | ||