Publications

2017

  1. František Farka, Ekaterina Komendantskaya, Kevin Hammond. Coinductive Soundness of Corecursive Type Class Resolution .
    In Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, Scotland, UK, September 6-8, 2016. Revised Selected Papers , LNCS volume 10184. Springer 2017.

2016

  1. František Farka, Ekaterina Komendantskaya, Kevin Hammond and Peng Fu. Coinductive Soundness of Corecursive Type Class Resolution .
    In Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) 2016.

2014

  1. František Farka. Maintainable type classes for Haskell .
    M.Sc. Thesis. Charles University: Czech Republic. 2014.