ICFP 2021
Sun 22 - Sat 28 August 2021

Not registered as user yet

Name:Matthew L. Daggitt
Affiliation:Heriot-Watt University

Contributions

TyDe 2021 Actions You Can Handle: Dependent Types for AI Plans
Show activities from other conferences

Using general profile