Ben Greenman

benjamin.l.greenman@gmail.com

blg@cs.utah.edu

801-585-1039

Provo, UT : November 2023
  
 




Student Opportunity [deadline April 4]: Measuring the Cost of Sound Gradual Types

Informatics Europe Open Access Position Paper