Registered user since Tue 22 Jun 2021
Name:Matthew Kolosick
Affiliation:University of California, San Diego
Contributions
ECOOP 2021 | mist: Refinements of Futures Past Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP and ISSTA 2021-profile
View general profile
View general profile