Iowa Type Theory Commute

Iowa Type Theory Commute

Por: Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
179 episodios disponibles

Latest episodes of the podcast Iowa Type Theory Commute

Mostrando página 5 de 9

Some thoughts on module systems so far 18/05/2021
A look at Agda's module system 12/05/2021
Standard ML: the Newmar King-Aire of module systems 10/05/2021
A look at Haskell's module system 26/04/2021
Let's talk about modules! 20/04/2021
Church-style Typing and Intersection Types: Glimpses of Benjamin Pierce's Dissertation 12/04/2021
Intersections and Unions in Practice; Failure of Type Preservation with Unions 22/03/2021
Normal terms are typable with intersection types 05/03/2021
Intersection Types Preserved Under Beta-Expansion 15/02/2021
Introduction to Intersection Types 08/02/2021
Deriving disjointness of constructor ranges in RelTT 02/02/2021
Software Design and Intrinsic Identity 20/01/2021
Identity Inclusion in Relational Type Theory 18/01/2021
On the paper "The Girard-Reynolds Isomorphism" by Philip Wadler 18/01/2021
Equivalence of inductive and parametric naturals in RelTT 28/12/2020
Examples in Relational Type Theory 23/12/2020
The Semantics of Relational Types 22/12/2020
The Types of Relational Type Theory 14/12/2020
Introducing Relational Type Theory 14/12/2020
On the paper "Types, Abstraction, and Parametric Polymorphism" 25/11/2020
« Primera ‹ Anterior 1 ... 3 4 5 6 7 ... 9 Siguiente › Última »
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA