Project

TiML: A Programming Language with Time Complexity

A typed functional programming language with static time complexity guarantees.