Nottingham FP Lunch: "Functorial adapters in bidirectional type systems"

Nordvall Forsberg, F. (Invited speaker)

Activity: Talk or presentation typesInvited talk

Period23 Apr 2021
Held atUniversity of Nottingham, United Kingdom