Didier Plaindoux - Dependent Types: From Theory to Practice -
HTML-код
- Опубликовано: 9 фев 2025
- #FunctionalScala2024 Day 1 had Didier Plaindoux as one of our excellent speakers.
Topic: Dependent Types: From Theory to Practice
Want to join our next Functional Scala conference?
Stay tuned here:
x.com/FunScala...
/ ziverge