
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