Default avatar

Jadon Fowler

Blog posts tagged withtutorials Tutorials

Row Polymorphism without the Jargon

tutorials type theory

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

Introduction to Algebraic Data Types

tutorials type theory

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

Introduction to Type Theory

tutorials type theory

What is type theory and how is it used?

Teaching Computer Science Topics


Introductory articles without the jargon.