Overview
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
Be sure to read the Getting started guide.
Members
Manager: Brian Redmond, Mike Burrell, Robin Cockett
Developer: Brian Redmond, Mike Burrell, Robin Cockett
Latest news
Pola revision 7 has been committed
Little fixes.
Stable release of Pola
A stable snapshot of Pola has been released as revision 6.
Pola revision 5 has been committed
This has fixed a couple stability issues (in type inference) but is largely a feature release.
Pola revision 4 has been committed
A new snapshot of Pola is ready for download