2 ms·F* A Distributed Programming Language with Value-Dependent Types3 points by DanielRibeiro 15y ago