Strange Loop Conference·39 min
Analysts investigate attack surfaces and defenses concerning "Dependent Types in Haskell" by Stephanie Weirich.
dependenttypehaskell+3
weirich
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…