Invited Talk “Resource Constrained Programming with Full Dependent Types”

Activity: Talk or presentation types › Invited talk

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