"Making Impossible States Impossible" by Richard Feldman
elm-conf
SIGNALTUBE / HACKER NEWS
Search results for “type systems”
Search titles, channels, topics, and recommendation context.
Maybe Not - Rich Hickey
ClojureTV
Domain Modeling Made Functional - Scott Wlaschin
NDC Conferences
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
"Shen: A Sufficiently Advanced Lisp" by Aditya Siram
Strange Loop Conference
![On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019] — PapersWeLove](https://i.ytimg.com/vi/43XaZEn2aLc/hq2.jpg)
On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
PapersWeLove
Anders Hejlsberg and Lars Bak: TypeScript, JavaScript, and Dart
DartlangTV
Domain Modeling Made Functional - Scott Wlaschin - KanDDDinsky 2019
KanDDDinsky
Does APL Need a Type System? by Aaron W Hsu at #FnConf18
ConfEngine
ElixirConf 2023 - José Valim - The foundations of the Elixir type system
ElixirConf
Stanford Seminar - Concatenative Programming: From Ivory to Metal
Stanford Online
Badness 0 (Apostrophe‛s version)
suckerpinch
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
ClojureTV
Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023
Code Sync
Showing 16 of 16 matching videos.