29:59

[ICFP'23] FP²: Fully in-Place Functional Programming

20:26

[POPL'24] Mechanizing Refinement Types

19:31

A Nice Algebra Problem | Math Olympiad | How to solve for x?

29:47

An Introduction to Refinement Types

25:25

Pursuing Practical Refinement Types by Michael Perucca

27:54

Die vollständige Antrittsrede von Donald Trump | deutsch untertitelt

1:01:23

[FProPer24] HVM2: Iteraction Combinator Evaluator

38:36

"A Little Taste of Dependent Types" by David Christiansen