(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler

(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler
Share:

Download MP3


Similar Tracks

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019 GOTO Conferences
"Super Haskell": an introduction to Agda by André Muricy Func Prog Sweden
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021 Code Sync
The Future of Web Animation by Sarah Drasner Codegram
Obama's 2004 DNC keynote speech CNN
"Categories for the Working Hacker" by Philip Wadler Strange Loop Conference
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman Strange Loop Conference
How Great Leaders Inspire Action | Simon Sinek | TED TED
Category Theory for the Working Hacker by Philip Wadler Lambda World
Transformers (how LLMs work) explained visually | DL5 3Blue1Brown
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript Fullstack Academy
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK) FOMUS 2016
This is not Coq Tsoding Daily
Edwin Brady - Idris 2 - Type-driven Development of Idris Curry On!
Lofi hip hop mix - Beats to Relax/Study to [2018] Lofi Girl
"Propositions as Types" by Philip Wadler Strange Loop Conference
"The Mess We're In" by Joe Armstrong Strange Loop Conference
Jacques Carette: "What I learned from formalizing Category Theory in Agda" Topos Institute
Philip Wadler - Propositions as Types (Lambda Days 2016) Erlang Solutions
Eliminating Run-Time Errors with Agda - Computerphile Computerphile