Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
System F - Typechecker Zoo
Typecheckers built for fun
| sdiehl.github.io
System F-ω - Typechecker Zoo
Typecheckers built for fun
| sdiehl.github.io
Overview - Typechecker Zoo
Typecheckers built for fun
| sdiehl.github.io
Lambda Calculus - Typechecker Zoo
Typecheckers built for fun
| sdiehl.github.io
Types and Programming Languages
| www.cis.upenn.edu
