![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
Gradual Types with Union and Intersection Types (ICFP Video) View |
![]() |
(North Bay Python) View |
![]() |
Taming Type Annotations in Gradual Typing (ACM SIGPLAN) View |
![]() |
Taking look at Typescript's type called (Sanzhar Danybayev) View |
![]() |
[ICFP'22] A Reasonably Gradual Type Theory (ACM SIGPLAN) View |
![]() |
On Type-Cases, Union Elimination, and Occurrence Typing (Teaser) (ACM SIGPLAN) View |
![]() |
The State of the Art in Gradually Typed Languages - Jeremy Siek (IU Luddy) View |
![]() |
Typescript - Type System explained from Anders Hejlsberg - creator of Typescript (Hans Schenker) View |
![]() |
Anders Hejlsberg - Typescript Type System (Hans Schenker) View |
![]() |
Understanding union types in Elm - part 1 (Enrico Buonanno) View |