Propositions as Types

youtube.comvideo43 minby Strange Loop Conference

from

Talks

added

2026-10-10

likes

0

similar

1. ▲

   Types are like the Weather, Type Systems are like Weathermen youtube.com

   video · 1 h 15 min · ClojureTV link ↗
   
2. ▲

   Part 1 youtube.com

   [22:37]

   video · 23 min · Async link ↗
   
3. ▲

   Tangible Functional Programming youtube.com

   video · 56 min · Google TechTalks topic programming link ↗
   
4. ▲

   The Transformation Priority Premise youtube.com

   video · 54 min · Senad Mehic link ↗
   
5. ▲

   Introduction to TypeDB and TypeQL youtube.com

   video · 31 min · TypeDB link ↗
   
6. ▲

   Part 1 youtube.com

   [40:44]

   video · 41 min · The Rolling Scopes link ↗
   

Talks › Categories > Functional Programming: “by Philip Wadler (Strange Loop 2015) [42:42]”