4 ms·Foetus – Termination Checker for Simple Functional Programs (1998) [pdf]1 points by anqurvanillapy 8y ago