Michael Greenberg 0002. The Dynamic Practice and Static Theory of Gradual Typing. 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]
No references recorded for this publication.
No citations of this publication recorded.