Follow
andrew blinn
Title
Cited by
Cited by
Year
Filling typed holes with live GUIs
C Omar, D Moon, A Blinn, I Voysey, N Collins, R Chugh
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
432021
An integrative human-centered architecture for interactive programming assistants
A Blinn, D Moon, E Griffis, C Omar
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022
122022
Tylr: a tiny tile-based structure editor
D Moon, A Blinn, C Omar
Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven …, 2022
72022
Total type error localization and recovery with holes
E Zhao, R Maroof, A Dukkipati, A Blinn, Z Pan, C Omar
Proceedings of the ACM on Programming Languages 8 (POPL), 2041-2068, 2024
62024
Gradual structure editing with obligations
D Moon, A Blinn, C Omar
2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2023
62023
Statically Contextualizing Large Language Models with Typed Holes
A Blinn, X Li, JH Kim, C Omar
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 468-498, 2024
12024
Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine
A Bandukwala, A Blinn, C Omar
2024
Totally Live Programming in Hazel (Progress Report)
C OMAR, A BLINN, D MOON
The system can't perform the operation now. Try again later.
Articles 1–8