Func Prog Podcast Episode 11 - Elisabeth Stenholm
Автор: Func Prog Sweden
Загружено: 2025-09-25
Просмотров: 198
In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! If you're ready to take your type safety to the next level, then this episode is for you!
We cover topics like:
Homotopy type theory
Proof assistants
Languages Rocq, Lean4, Agda, Idris
Proving theorems in Lean4
How to get started with dependent types and proof assistants
Episode links:
https://people.mpi-sws.org/~dreyer/to...
https://homepages.inf.ed.ac.uk/wadler...
• Dependent types are everywhere! by Elisabe...
https://compcert.org/
https://github.com/fscheck/FsCheck
https://www.type-driven.org.uk/edwinb...
https://bora.uib.no/bora-xmlui/handle...
=== Func Prog Conf ===
https://funcprogconf.com/
=== Episode in Spotify ===
https://open.spotify.com/episode/4GEp...
=== Episode in Apple Podcast ===
https://podcasts.apple.com/se/podcast...
#funcprogsweden #funcprogpodcast
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
