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

Комментарии •