58:23Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry OnCurry On!82K views · 7 HN recommenders · 2015–2023
40:39Edwin Brady - Idris 2 - Type-driven Development of IdrisCurry On!20K views · 4 HN recommenders · 2019–2023
48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing CancerCurry On!9K views · 3 HN recommenders · 2017–2019
44:43Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry OnCurry On!25K views · 3 HN recommenders · 2015–2024
1:03:34Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic languageCurry On!19K views · 3 HN recommenders · 2018–2020
1:06:20Lars Bak - The Making of a Secure and Robust IoT Development PlatformCurry On!3K views · 5 HN mentions · 2019–2020
