St Andrews Functional Programming Group

Mr Frantisek Farka

Mr Frantisek Farka

Mr Frantisek Farka

Research Student - School of Computer Science

Email (@st-andrews.ac.uk): ff32

Office: JC0.21

Web: https://ff32.host.cs.st-andrews.ac.uk

Phone: +44 (0)1334 463257

Full research profile

Recent Publications

  • Farka, F, Komendantskaya, E & Hammond, K 2017, Coinductive soundness of corecursive type class resolution. in MV Hermenegildo & P Lopez-Garcia (eds), Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, Scotland, UK, September 6-8, 2016. Revised Selected Papers. Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 10184, Springer, Cham, pp. 311-327, International Symposium on Logic-based Program Synthesis and Transformation, Edinburgh, United Kingdom, 6-8 September. DOI: 10.1007/978-3-319-63139-4_18
  • Farka, F, Komendantskaya, E, Hammond, K & Fu, P 2016, Coinductive soundness of corecursive type class resolution. in MV Hermenegildo & P Lopez-Garcia (eds), Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). arXiv, International Symposium on Logic-based Program Synthesis and Transformation, Edinburgh, United Kingdom, 6-8 September.