C. B. Aberlé - Parametricity via Cohesion
Автор: ACT & MFPS 2024
Загружено: 2024-07-11
Просмотров: 43
Описание:
Talk at Mathematical Foundations of Programming Semantics (MFPS) 2024
University of Oxford, Department of Computer Science
Speaker: C. B. Aberlé Parametricity via CohesionThe Functional Machine Calculus III: Choice (Early Announcement)
Date: 20th June 2024
Extended abstract: https://oxford24.github.io/assets/mfps-pap...
Slides: https://oxford24.github.io/assets/slides/M...
For more information:
https://oxford24.github.io
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: