Publications

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.