Registered user since Mon 27 Mar 2017
Name:Amy Felty
Country:Canada
Affiliation:University of Ottawa
Personal website:http://www.eecs.uottawa.ca/~afelty/
Contributions
| CPP 2019 | A Linear Logical Framework in Hybrid | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile