Type Theory for the Working Rustacean - Dan Pittman Share: Download MP3 Similar Tracks The Death and Rebirth of Docs.rs - Quiet Misdreavus Rust Belt Rust Conference Polonius: Either Borrower or Lender Be, but Responsibly - Niko Matsakis Rust Belt Rust Conference Introducing Rust into a Legacy Embedded System - Steven Walter Rust Belt Rust Conference "Propositions as Types" by Philip Wadler Strange Loop Conference Type Theory for Busy Engineers - Niko Matsakis Rust Nederland (RustNL) "Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman Strange Loop Conference A Simpler Way to See Results Logan Smith 3 01 A Functional Programmer's Guide to Homotopy Type Theory ICFP Video You Should Really Know These Traits in Rust Oliver Jumpertz "A Little Taste of Dependent Types" by David Christiansen Strange Loop Conference Are we *actually* IDE yet? A look on the Rust IDE Story - Igor Matuszewski Rust Belt Rust Conference A Taste of Type Theory • Bartosz Milewski • YOW! 2019 GOTO Conferences Traits and You: A Deep Dive — Nell Shamrell-Harrington Rust Belt Rust Conference In Search of Code Purity No Boilerplate Tips for Writing a Web Server and Beyond - Apoorv Kothari Rust Belt Rust Conference Move fast and don't break things: High-performance networking in Rust — Joshua Liebow-Feeser Rust Belt Rust Conference Considering Rust Jon Gjengset Computer Science ∩ Mathematics (Type Theory) - Computerphile Computerphile Rust Programming Techniques LinuxConfAu 2018 - Sydney, Australia "Dependent Types in Haskell" by Stephanie Weirich Strange Loop Conference
