ZARZA We are Zarza, the prestigious firm behind major projects in information technology.

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 8 de 9

More benefits of lambda encodings 07/02/2020

Introduction to lambda encodings 07/02/2020

Adding a top type and allowing non-normalizing terms 04/02/2020

Intersection types using Curry-style typing 04/02/2020

Curry-style versus Church-style, and the nature of type annotations 30/01/2020

More on Computation First, and Basic Idea of Realizability 29/01/2020

Types should be erased for executing and reasoning about programs 29/01/2020

Why go beyond GADTs? 24/01/2020

GADTs for programming with representations of types 22/01/2020

Using GADTs for typed subsetting of your language 20/01/2020

Example of programming with indexed types: binary search trees 16/01/2020

Programming with indexed types using singletons 16/01/2020

Limitations of indexed types that are not truly dependent 14/01/2020

Programming with Indexed Types 13/01/2020

Program Termination and the Curry-Howard Isomorphism 10/01/2020

Why Curry-Howard for classical proofs is a bad idea for programming 06/01/2020

Curry-Howard for classical logic 06/01/2020

Dependent types and design by contract 03/01/2020

Indexed types and Curry-Howard for first-order quantifiers 03/01/2020

The Curry-Howard Isomorphism for Propositional Logic 02/01/2020

« Primera ‹ Anterior 1 ... 6 7 8 9 Siguiente › Última »