Registered user since Tue 3 Oct 2017
Name: Robert Atkey
Affiliation: University of Strathclyde
Personal website: http://bentnib.org/
Contributions
| TyDe 2018 | Extended Abstract: Context Constrained Computing | ||||||||||||||||||||||||||||||||||||||||
| ICFP 2018 | A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2018-profile
View general profile
View general profile