Coinductive soundness of corecursive type class resolution

František Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1 Conference contribution

Search results

  • 2017

    Coinductive soundness of corecursive type class resolution

    Farka, F., Komendantskaya, E. & Hammond, K., 2017, Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, Scotland, UK, September 6-8, 2016. Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham: Springer, p. 311-327 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); vol. 10184).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File