Computer Science @ University of St Andrews

University of St Andrews crest

Mr Frantisek Farka

Mr Frantisek Farka

Position: Research Student

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

Office: JC0.21 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3257

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

Recent Publications

Proof-carrying plans

Schwaab, CJ, Komendantskaya, E, Hill, A, Farka, F, Petrick, R, Wells, J & Hammond, K 2019, Proof-carrying plans. in JJ Alferes & M Johansson (eds), Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 11372, Springer, Cham, pp. 204-220, 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019), Lisbon, Portugal, 14/01/19. DOI: 10.1007/978-3-030-05998-9_13

Proof-relevant Horn clauses for dependent type inference and term synthesis

Coinductive soundness of corecursive type class resolution

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/09/16. DOI: 10.1007/978-3-319-63139-4_18

Coinductive soundness of corecursive type class resolution

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/09/16.