
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