2 ms·F*: A Higher-Order Effectful Language Designed for Program Verification2 points by GordonS 6y ago