Invited Talk “Resource Constrained Programming with Full Dependent Types”

Atkey, B. (Speaker)

Activity: Talk or presentation typesInvited talk

Period23 Jan 2020
Held atIRIF, University of Paris, France
Degree of RecognitionInternational