36:22
🔍 YouTube Search Results for "fun programming with dependent types devconfin 2025"
Found 15 results
22:03
TYPES2025 - 5.8. Constantine Theocharis - Unboxed Dependent Types
MSP — Strathclyde
391 views
View & Download![[ICFP'25] [JFP] A practical formalization of monadic equational reasoning in dependent-type theory — ACM SIGPLAN — fun programming with dependent types devconfin 2025 YouTube to MP3 & MP4 download on TubeGalore](/api/image/J-Ur-TiBZ_k/mqdefault)
24:21
0:00
Microsoft Build 2026 Day 1 LIVE | Opening Keynote, Live Coding & Demos
Microsoft Developer
0 views
View & Download
48:37
1:48:53
26:30
35:54
Spec Driven Development A Faster Way to Code — Erik Hanchett
ConFoo Developer Conference
49 views
View & Download
0:00
9:53
![[JFP@ICFP'22] ANF Preserves Dependent Types upto Extensional Equality — ACM SIGPLAN — fun programming with dependent types devconfin 2025 YouTube to MP3 & MP4 download on TubeGalore](/api/image/38gxG-PxzQ4/mqdefault)
14:44
9:05
9:37
0:00
3:29