Robert Atkey - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Registered user since Tue 3 Oct 2017

Name:Robert Atkey

Affiliation:University of Strathclyde

Personal website: http://bentnib.org/

Contributions

2018

ICFP

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

TyDe

Extended Abstract: Context Constrained Computing

Show activities from other conferences

ICFP 2018-profile
View general profile