Search Results - "coinduction"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    The under-performing unfold: a new approach to optimising corecursive programs

    The under-performing unfold: a new approach to optimising corecursive programs by Hackett, Jennifer, Hutton, Graham, Jaskelioff, Mauro

    Published 2013
    Subjects: Get full text
  2. 2
    The productivity of polymorphic stream equations and the composition of circular traversals

    The productivity of polymorphic stream equations and the composition of circular traversals by Balestrieri, Florent

    Published 2015
    Subjects: Get full text
  3. 3
    Using coalgebra and coinduction to define ontology-based multi-agent systems

    Using coalgebra and coinduction to define ontology-based multi-agent systems by Hadzic, Maja, Chang, Elizabeth

    Published 2008
    Subjects: Get full text

Search Tools: