(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
Category Theory for the Working Hacker by Philip Wadler Lambda World
The Future of Web Animation by Sarah Drasner Codegram
Edwin Brady - Idris 2 - Type-driven Development of Idris Curry On!
Obama's 2004 DNC keynote speech CNN
Transformers (how LLMs work) explained visually | DL5 3Blue1Brown
"Propositions as Types" by Philip Wadler Strange Loop Conference
This is not Coq Tsoding Daily
Eliminating Run-Time Errors with Agda - Computerphile Computerphile
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman Strange Loop Conference
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II Gabriel Lebec
Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey Churchill College, University of Cambridge
Jacques Carette: "What I learned from formalizing Category Theory in Agda" Topos Institute
Algebra Basics: What Is Algebra? - Math Antics mathantics
Headstart: Pasig City Mayor Vico Sotto on landslide reelection, accusations, plans for city | ANC ANC 24/7
Richard Eisenberg on Dependent Types NYC Haskell User's Group
"Categories for the Working Hacker" by Philip Wadler Strange Loop Conference
Think Faster, Talk Smarter with Matt Abrahams Stanford Alumni
Introduction To Cyber Security | Cyber Security Training For Beginners | CyberSecurity | Simplilearn Simplilearn