talk · community record
Scale By The Bay 2021 : Ryan Orendorff, Functional Programming + Dependent Types ≡ Verified Linear..
Scale by the Bay 2021 session presented by Ryan Orendorff.
01
Connections
2 relationships
Scale by the Bay 2021 session presented by Ryan Orendorff.
2 relationships