Signin

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

Codegram • September 25, 2019

Video Thumbnail

You May Also Like

Video Thumbnail

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

GOTO Conferences

Video Thumbnail

"Propositions as Types" by Philip Wadler

Strange Loop Conference

Video Thumbnail

Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021

Code Sync

Video Thumbnail

Edwin Brady - Idris 2 - Type-driven Development of Idris

Curry On!

Video Thumbnail

"Categories for the Working Hacker" by Philip Wadler

Strange Loop Conference

Video Thumbnail

A programming language for a continuous delivery world (Ellen Chisa)

Codegram

Video Thumbnail

Category Theory for the Working Hacker by Philip Wadler

Lambda World

Video Thumbnail

"Super Haskell": an introduction to Agda by André Muricy

Func Prog Sweden

Video Thumbnail

Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)

FOMUS 2016

Video Thumbnail

Philip Wadler - Propositions as Types (Lambda Days 2016)

Erlang Solutions

Video Thumbnail

Jacques Carette: "What I learned from formalizing Category Theory in Agda"

Topos Institute

Video Thumbnail

All Rust features explained

Let's Get Rusty

Video Thumbnail

This is not Coq

Tsoding Daily

Video Thumbnail

The Future of Web Animation by Sarah Drasner

Codegram

Video Thumbnail

Eliminating Run-Time Errors with Agda - Computerphile

Computerphile

Video Thumbnail

"A Little Taste of Dependent Types" by David Christiansen

Strange Loop Conference

Video Thumbnail

Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones

Erlang Solutions

Video Thumbnail

Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022

HoTTEST

Video Thumbnail

Scott Fleischman: Agda from Nothing Part 1 - λC 2016

LambdaConf

Video Thumbnail

"Dependent Types in Haskell" by Stephanie Weirich

Strange Loop Conference

Codegram

About

No channel description available.

Latest Posts

Video Thumbnail

Rust, WebAssembly, and the future of Serverless by Steve Klabnik

Codegram

Video Thumbnail

Computing: The first 100 years (Joe Armstrong) - Full Stack Fest 2016

Codegram

Video Thumbnail

Purifying Typescript - Timothy Clifford

Codegram

Video Thumbnail

Bringing WebAssembly outside the web with WASI by Lin Clark

Codegram