3 ms·TiML: A functional language for practical complexity analysis with invariants3 points by philonoist 8y agophilonoist 8y agoHere is the direct link to PDF- https://people.csail.mit.edu/wangpeng/timl.pdf https://people.csail.mit.edu/wangpeng/timl.pdf