3Using STM for Modular Concurrency: An Industrial Experience Report (2020) [video] (opens in new tab)(youtube.com)1vg_head1y ago0
6Beatrice: A tagless, dependently typed, self-aware programming language (opens in new tab)(hirrolot.github.io)22vg_head1y ago2