TiML - A Functional Language with Static Time Complexity Guarantees

by Peng Wang <wangpeng at csail dot mit dot edu>


GitHub repo

Example TiML Programs