Registered user since Thu 30 Jun 2016
Name: Steven Ramsay
Country: United Kingdom
Affiliation: University of Bristol
Contributions
| POPL 2021 | Author of Intensional Datatype Refinement within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile