Blog posts tagged withtutorials Tutorials
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?
Teaching Computer Science Topics
Introductory articles without the jargon.