Iowa Type Theory Commute
Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Episodes
Begin Chapter on Simple Type TheoryApril 19, 2024
Some advanced examples in DCSSeptember 24, 2023
DCS compared to termination checkers for type theoriesSeptember 18, 2023
Getting started with DCSSeptember 09, 2023
Introduction to DCSSeptember 03, 2023
Semantics of subtypingJuly 23, 2023
More on type inference for simple subtypesJuly 15, 2023
Subtyping, the golden keyJuly 08, 2023
Type inference with simple subtypesJune 29, 2023
Basics of subtypingJune 21, 2023
Begin chapter on subtypingJune 20, 2023
Last episode discussing Observational Equality Now for GoodApril 13, 2023
More on observational type theoryMarch 23, 2023
Introduction to Observational Type TheoryMarch 05, 2023
Interjection: The Liquid Tensor ExperimentMarch 02, 2023
Extensional Martin-Loef Type TheoryFebruary 03, 2023
Begin chapter on extensionalityJanuary 24, 2023
Papers from Formal Methods for Blockchains 2021January 01, 2023
Mi-Cho-Coq: Michelson formalized and applied, in CoqDecember 02, 2022
Verification of Tezos smart contracts with K-Michelson November 10, 2022
Start of Season 4: Formal Methods for BlockchainNovember 07, 2022
Separation Logic II: recursive predicatesSeptember 15, 2022
Separation Logic 1July 24, 2022
Let's talk about RustJuly 09, 2022
Region-Based Memory ManagementJune 21, 2022