About 24 results for "UC-WICcSW1k3HsScuXxDrp0w"

Jan Vitek - Getting everything wrong without doing anything right!

Curry On! • Sep 26, 2019

Edwin Brady - Idris 2 - Type-driven Development of Idris

Curry On! • Sep 25, 2019

Niko Matsakis - Rust: Putting Ownership to Use

Curry On! • Apr 24, 2018

José Valim - Idioms for building distributed fault-tolerant applications with Elixir

Curry On! • Feb 12, 2018

Bjarne Stroustrup - What – if anything – have we learned from C++? - Curry On/PLE'15 Keynote

Curry On! • Feb 6, 2016

David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On

Curry On! • Sep 25, 2015