Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond. Pola: A Language for PTIME Programming. In Ralph Matthes, Tarmo Uustalu, editors, 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009. pages 7-8, Institute of Cybernetics, 2009. [doi]
Abstract is missing.