From Scripting to Proving: Gradual Verification for Expressive Programming Languages

Time and Location:

March 11, 2019 at 2PM; 60 Fifth Avenue, Room room 150

David Van Horn, University of Maryland