We're in beta. Stay tuned for updates.x
Loading...
PODCAST

Iowa Type Theory Commute

Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
technology mathematics

All Episodes

10:16
Reassembling datatypes from functors using a fixed-point
Iowa Type Theory Commute ·
2021/07/11
en-us
13:38
Decomposing datatypes into functors
Iowa Type Theory Commute ·
2021/07/03
en-us
8:50
Modular datatypes: introducing Swierstra's paper...
Iowa Type Theory Commute ·
2021/06/24
en-us
11:51
Modules for Mathematical Theories (MMT)
Iowa Type Theory Commute ·
2021/06/09
en-us
11:40
Some thoughts on module systems so far
Iowa Type Theory Commute ·
2021/05/19
en-us
14:04
A look at Agda's module system
Iowa Type Theory Commute ·
2021/05/12
en-us
13:51
Standard ML: the Newmar King-Aire of module systems
Iowa Type Theory Commute ·
2021/05/10
en-us
22:17
A look at Haskell's module system
Iowa Type Theory Commute ·
2021/04/27
en-us
20:38
Let's talk about modules!
Iowa Type Theory Commute ·
2021/04/20
en-us
13:05
Church-style Typing and Intersection Types: Glimpses...
Iowa Type Theory Commute ·
2021/04/12
en-us
13:38
Intersections and Unions in Practice; Failure of Type...
Iowa Type Theory Commute ·
2021/03/22
en-us
10:02
Normal terms are typable with intersection types
Iowa Type Theory Commute ·
2021/03/05
en-us
12:14
Intersection Types Preserved Under Beta-Expansion
Iowa Type Theory Commute ·
2021/02/15
en-us
11:43
Introduction to Intersection Types
Iowa Type Theory Commute ·
2021/02/09
en-us
11:45
Deriving disjointness of constructor ranges in RelTT
Iowa Type Theory Commute ·
2021/02/02
en-us
9:22
Software Design and Intrinsic Identity
Iowa Type Theory Commute ·
2021/01/21
en-us
13:47
Identity Inclusion in Relational Type Theory
Iowa Type Theory Commute ·
2021/01/18
en-us
10:52
On the paper "The Girard-Reynolds Isomorphism" by...
Iowa Type Theory Commute ·
2021/01/18
en-us
14:23
Equivalence of inductive and parametric naturals in...
Iowa Type Theory Commute ·
2020/12/28
en-us
22:39
Examples in Relational Type Theory
Iowa Type Theory Commute ·
2020/12/23
en-us
183 results

Similar Podcasts
Lead With AI
Tamara Nall
Linux in the Ham Shack
Black Sparrow Media
Data Engineering Podcast
Tobias Macey
Eye On A.I.
Craig S. Smith
Reflections
Livewire Labs