Wizardlike software

Home

This is home base for my software projects. So far there's only one project, Pola, which is a research project.

Pola: Stable release of Pola
A stable snapshot of Pola has been released as revision 6.
Added by Mike Burrell about 1 month ago

Pola: Pola revision 5 has been committed
This has fixed a couple stability issues (in type inference) but is largely a feature release.
Added by Mike Burrell about 1 month ago

Pola: Pola revision 4 has been committed
A new snapshot of Pola is ready for download
Added by Mike Burrell 3 months ago

Pola (06/15/2009 10:22 am)
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...