ICFP 2021
Sun 22 - Sat 28 August 2021

Not registered as user yet

Name:Ronald P. A. Petrick
Affiliation:Heriot-Watt University

Contributions

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

ICFP 2021-profile
View general profile