サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Wikipedia
typetheorypodcast.com
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for the future. Reading: Inductive Families Need Not Store Their Indices by Edwin Br
In our inaugural episode, we speak with Peter Dybjer from Chalmers University of Technology. Peter has made significant contributions to type theory, including inductive families, induction-recursion, and categorical models of dependent types. He is generally interested in program correctness, programming language semantics, and the connection between mathematics and programming. Today, we will ta
このページを最初にブックマークしてみませんか?
『The Type Theory Podcast | A podcast about type theory』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く