Signin

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

GOTO Conferences • May 7, 2024
Video Thumbnail

You May Also Like

Video Thumbnail

MIT Godel Escher Bach Lecture 1

jasonofthel33t

Video Thumbnail

Lies, Damned Lies & Timeouts Engineering • Yao Yue • YOW! 2017

GOTO Conferences

Video Thumbnail

"Categories for the Working Hacker" by Philip Wadler

Strange Loop Conference

Video Thumbnail

Functional Programming & Haskell - Computerphile

Computerphile

Video Thumbnail

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

Codegram

Video Thumbnail

Terence Tao at IMO 2024: AI and Mathematics

AIMO Prize

Video Thumbnail

Learning Systems Thinking • Diana Montalion & Charles Humble • GOTO 2024

GOTO Conferences

Video Thumbnail

Brian Kernighan: UNIX, C, AWK, AMPL, and Go Programming | Lex Fridman Podcast #109

Lex Fridman

Video Thumbnail

The Power of Function Composition - Conor Hoekstra - NDC Oslo 2024

NDC Conferences

Video Thumbnail

"Constructive Real Numbers in the Agda Proof Assistant", talk by Zach Murray at CQTS @ NYU Abu Dhabi

Urs Schreiber

Video Thumbnail

*(char*)0 = 0; - What Does the C++ Programmer Intend With This Code? - JF Bastien - C++ on Sea 2023

cpponsea

Video Thumbnail

Category Theory for the Working Hacker by Philip Wadler

Lambda World

Video Thumbnail

How Flow Works • James Lewis • GOTO 2024

GOTO Conferences

Video Thumbnail

Why Isn't Functional Programming the Norm? – Richard Feldman

Metosin

Video Thumbnail

John Mearsheimer and Jeffrey Sachs | All-In Summit 2024

All-In Podcast

Video Thumbnail

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

Func Prog Sweden

Video Thumbnail

Programming w/o Language

Tsoding Daily

Video Thumbnail

"Propositions as Types" by Philip Wadler

Strange Loop Conference

Video Thumbnail

The C4 Model – Misconceptions, Misuses & Mistakes • Simon Brown • GOTO 2024

GOTO Conferences

Video Thumbnail

Steven Strogatz: In and out of love with math | 3b1b podcast #3

Grant Sanderson

GOTO Conferences

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

Communicating in Types • Kris Jenkins • GOTO 2024

GOTO Conferences

Video Thumbnail

The Beauty of Simplicity - Making Your Own Technology • Yan Chernikov • YOW! 2024

GOTO Conferences

Video Thumbnail

Confessions of an Enterprise Architect • Scott Shaw • YOW! 2016

GOTO Conferences

Video Thumbnail

Minimum Viable Architecture • Randy Shoup • YOW! 2022

GOTO Conferences

AI Assistant

Loading...