hinze-2012-kan:
  type: chapter
  title: 'Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick'
  author: Hinze, Ralf
  date: 2012
  page-range: 324-362
  url: http://dx.doi.org/10.1007/978-3-642-31113-0_16
  serial-number:
    doi: 10.1007/978-3-642-31113-0_16
    isbn: '9783642311130'
    issn: 1611-3349
  parent:
    type: book
    title: Mathematics of Program Construction
    publisher: Springer Berlin Heidelberg