Категории
Mathematically Structured Functional Programming
logo Mathematically Structured Functional Programming

Mathematically Structured Functional Programming

91 подписчиков

23 видео

play_arrow
05 Апрель 2022
MSFP 2022 - Joris Ceulemans - Sikkel: Multimode Simple Type Theory as an Agda Library

MSFP 2022 - Joris Ceulemans - Sikkel: Multimode Simple Type Theory as an Agda Library