CSc 8910, Category Theory, Functional Programming, Haskell (Spring 2026)

Wednesday 12.30 to 2.00 in Room 628, 1 Park Place

Instructor

Raj Sunderraman (raj@gsu.edu)

Course Materials

Lambda Calculus

FormalViz GitHub, Lambda Calculus with "named" expressions
Lambda Calculus
Some Notes from PLC Class
Booleans, Church Numerals, Data Structures, Y-Combinator in Lambda Calculus
Booleans, Church Numerals, Data Structures, Y-Combinator in Python

Haskell

Some Notes from PLC Class
haskell.org
Graham Hutton Book: Programming in Haskell, Hutton (YouTube - Intro), Hutton (YouTube - Advanced)
Real World Haskell

Category Theory

Bartosz Milewski Blog
Bartosz Milewski YouTube

Dependent Types and Idris2

Idris2
Type-Driven Development with Idris by Edwin Brady