200 citations · 634 across the 27 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Solver-based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg +1
Gradually typed languages allow programmers to mix statically and dynamically typed code, enabling them to incrementally reap the benefits of static typing as they add type annotat…
cs.RO2021
Iterative Program Synthesis for Adaptable Social Navigation
Jarrett Holtz, Simon Andrews, Arjun Guha +1
Robot social navigation is influenced by human preferences and environment-specific scenarios such as elevators and doors, thus necessitating end-user adaptability. State-of-the-ar…