Type Theory Forall - Episodes
In this episode we talk with Guannan Wei, from Purdue University. Guannan finished his PhD last year under Tiark Rompf, and is currently doing his Post-Doc with Tiark. Guannan has worked on a plethora of different compilers topics, and in this conversation we will talk about Staging, Futamura Projections, Symbolic Execution, Compiler Applications in Smart Contracts and Quantum Programming. Towards
Home : CppCast
The first podcast for C++ developers, by C++ developers! With hosts Timur Doumler and Phil Nash. Every two weeks, or so, we sit down with guests from the C++ community to discuss the latest news and what they have been up to. With hosts Timur Doumler and Phil Nash. Every two weeks, or so, we sit down with guests from the C++ community to discuss the latest news and what they have been up to.
The Haskell Cast
00:29 What are dependent type systems? 03:38 applying dependent types to industry 07:30 writing dependently typed programs in Haskell today 09:07 GADTs (Generalized Algebraic Data Types) 11:01 the future of dependent types in GHC 13:40 teaching dependent types 18:03 learning dependent types 20:20 a future style of Haskell programming with dependent types 21:21 Servant and opaleye as an example of
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Future of Podcasting
Reddit - Dive into anything
Top 10 Data Science and Machine Learning Podcasts
Podcasts Are Saving NPR
Reddit - Dive into anything
Reddit - Dive into anything
podcasts that don't suck, 2014 edition
