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