Implementing a practical polynomial programming language
Implementation details
10/15/2009
A paper which has been presented at FOPARA in 2009, but ultimately rejected for publication. It covers the syntax of Pola, the type inference (with bunched player contexts), the operational semantics and touches on inferring bounds.