Blog posts tagged with type theory.

Type Theory.

Erasable Dependent Types

Erasing irrelevant information while retaining the verification of dependent types.

Row Polymorphism without the Jargon

This obscure class of polymorphism acts as an interesting replacement for subtyping.

Introduction to Algebraic Data Types

What are Algebraic Data Types and what can we do with them?

Introduction to Type Theory

What is type theory and how is it used?