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]

@inproceedings{BurrellCR09,
  title = {Pola: A Language for PTIME Programming},
  author = {Michael J. Burrell and J. Robin B. Cockett and Brian F. Redmond},
  year = {2009},
  url = {http://cs.ioc.ee/fics09/proceedings/invited1.pdf},
  researchr = {https://researchr.org/publication/BurrellCR09},
  cites = {0},
  citedby = {0},
  pages = {7-8},
  booktitle = {6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009},
  editor = {Ralph Matthes and Tarmo Uustalu},
  publisher = {Institute of Cybernetics},
  isbn = {978-9949-430-29-1},
}