[ICFP'23] Explicit Refinement Types
29:59
[ICFP'23] FP²: Fully in-Place Functional Programming
23:09
7 padrões de design que todo desenvolvedor deve conhecer
29:47
An Introduction to Refinement Types
23:51
Por Que esse Número Está em Todo Canto?
49:55
Marco Abbadini - Coalgebraic flavour of metric compact Hausdorff spaces
45:55
Turning Waves Into Particles
5:20
Donald Trump and Melania Trump's first dance after 2025 inauguration at Commander in Chief ball
17:19