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 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