I Am Not Full of Beans!
/- UNDERTALE (03:19)
- Linear Types (07:18)
- Curry-Howard correspondence (07:50)
- Linear types can change the world! - Phillip Wadler (08:50)
- Substructural type system (09:28)
- Clean (09:43)
- Rust (10:28)
- Beautiful Folds (12:38)
- MuniHac 2016: Beautiful folds are practical, too - Gabriel Gonzalez (12:38)
- Swift (14:45)
- Protocol-oriented Programming in Swift - Apple WWDC 2015 (16:20)
- recursion-schemes (23:00)
- matryoshka (23:13)
- Unifying Structured Recursion Schemes (24:06)
- Adjunction (25:18)