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

Parametric models and representation independence 09/11/2020

Explaining my encoding of a HOAS datatype, part 2 09/11/2020

Explaining my encoding of a HOAS datatype, part 1 19/10/2020

Term models for higher-order signatures 19/10/2020

Lambda applicative structures and interpretations of lambda abstractions 07/10/2020

The Basic Lemma 30/09/2020

Logical relations are not closed under composition 31/08/2020

The definition of a logical relation 18/08/2020

Introduction to Logical Relations 16/08/2020

Lamping's abstract algorithm 25/07/2020

Examples showing non-optimality of Haskell 14/07/2020

Lambda graphs with duplicators and start of Lamping's abstract algorithm 03/07/2020

Duplicating redexes as the central problem of optimal reduction 20/06/2020

Introduction to optimal beta reduction 16/06/2020

Lexicographic termination 02/06/2020

Mendler-style iteration 18/05/2020

Well-founded recursion 18/05/2020

Compositional termination checking with sized types 30/03/2020

Noncompositionality of syntactic structural-recursion checks 19/03/2020

Structural termination 17/03/2020

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