Browsing by Author Miltner, Anders
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Jun-2020 | Data-driven inference of representation invariants | Miltner, Anders; Padhi, Saswat; Millstein, Todd; Walker, David |
| Jul-2018 | Synthesizing quotient lenses | Maina, Solomon; Miltner, Anders; Fisher, Kathleen; Pierce, Benjamin C; Walker, David; et al |