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)