3 ms·Are functional programs easier to verify than imperative programs? (2018)3 points by hwayne 9y ago