Projects

Pola
A proof-of-concept programming language in conjunction with Robin and Brian (in Calgary) wherein every well-typed program halts in polynomial time.

Information and documentation (e.g., user guides, examples, papers) are generally kept in the wiki and the documents section...

Also available in: Atom