Pola: A Language for PTIME Programming

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]

Authors

Michael J. Burrell

This author has not been identified. Look up 'Michael J. Burrell' in Google

J. Robin B. Cockett

This author has not been identified. Look up 'J. Robin B. Cockett' in Google

Brian F. Redmond

This author has not been identified. Look up 'Brian F. Redmond' in Google