98-317 Student Taught Courses (StuCo): Hype for Types

3 units, Carnegie Mellon University

Type theory is a foundation of mathematics that can serve as an alternative to set theory. It is integral to programming languages, which rely on type systems to ensure code correctness. This course aims to go over fun and weird results in type theory that you might otherwise have to read complicated academic papers to understand, as well as to provide a foundation to help understand these fun results. We'll provide plain English explanations of concepts such as algebraic datatypes, derivatives of types, negative types, type isomorphisms, and the Curry-Howard correspondence. Some math and programming background (around the level of 15-150) is required, though a type theory background is not necessary.

Prerequisites: none listed

Offered: Spring 2027, Fall 2026, Spring 2026

Courseweave needs JavaScript to show sections, workloads and planning tools.