4 ms·Semantics and Implementation of an Extension of ML for Proving Programs1 points by based2 9y ago