Andrew Blinn

Orcid: 0000-0001-6938-7379

According to our database1, Andrew Blinn authored at least 4 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Total Type Error Localization and Recovery with Holes.
Proc. ACM Program. Lang., January, 2024

2023
Gradual Structure Editing with Obligations.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

2022
tylr: a tiny tile-based structure editor.
Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

2021
Filling typed holes with live GUIs.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021


  Loading...