Michael Carbin. Overparameterization: A Connection Between Software 1.0 and Software 2.0. In Benjamin S. Lerner, Rastislav BodÃk, Shriram Krishnamurthi, editors, 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. Volume 136 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Abstract is missing.