SkillsCast
Distributed Programming with Linear Types
1
SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
YOU MAY ALSO LIKE:
- Comparing Strict and Lazy (SkillsCast recorded in November 2020)
- Introduction to Rust (Online Workshop on 9th - 16th March 2022)
- Embedded Rust: Beginners Workshop (Online Workshop on 24th March 2022)
- YOW! Lambda Jam 2022 (Online Conference on 1st - 30th May 2022)
- Haskell eXchange 2022 (in Online Event on 1st - 30th November 2022)
- Core Banking: A Tour of a Payments Ledger (SkillsCast recorded in December 2021)
- Haskell: Why and How the External STG Interpreter is Useful (SkillsCast recorded in December 2021)
Thank you to our sponsors and partners
Platinum
Gold
Silver
Distributed Programming with Linear Types
Arnaud Spiwack
Arnaud Spiwack spend the first 10 years of his working life in Academia, between Chalmers university in Gothenburg, Sweden, and Ecole Polytechnique, Inria, and Mines ParisTech, in the Paris area. He spent this time researching dependent types, computer-verified proof, and sequent calculus. During his time in Academia, Arnaud got involved in the development of the Coq Proof Assistant, where he, in particular, re-engineered Coq's tactic engine and gave it an abstract interface. After leaving academia, he remained a member of the core development team of the Coq Proof Assistant. He is now a senior architect at Tweag I/O, and is working at making the world better typed.