(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
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021 Code Sync
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman Strange Loop Conference
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript Fullstack Academy
"Propositions as Types" by Philip Wadler Strange Loop Conference
A programming language for a continuous delivery world (Ellen Chisa) Codegram
4. Assembly Language & Computer Architecture MIT OpenCourseWare
Jacques Carette: "What I learned from formalizing Category Theory in Agda" Topos Institute
F2020 - Intro to Constraint Solving with z3 RPISEC
The Most Misunderstood Concept in Physics Veritasium
Philip Wadler - Propositions as Types (Lambda Days 2016) Erlang Solutions
Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey Churchill College, University of Cambridge
"Categories for the Working Hacker" by Philip Wadler Strange Loop Conference
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK) FOMUS 2016
Lambda World 2019 - Fun With Categories - Marco Perone Lambda World
This is not Coq Tsoding Daily
Scott Fleischman: Agda from Nothing Part 1 - λC 2016 LambdaConf