František Farka
František Farka
Verified email at imdea.org
Title
Cited by
Cited by
Year
Coinductive soundness of corecursive type class resolution
F Farka, E Komendantskaya, K Hammond
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
82016
Proof-carrying plans
C Schwaab, E Komendantskaya, A Hill, F Farka, RPA Petrick, J Wells, ...
International Symposium on Practical Aspects of Declarative Languages, 204-220, 2019
32019
Proof-relevant horn clauses for dependent type inference and term synthesis
F Farka, E Komendantskya, K Hammond
Theory and Practice of Logic Programming 18 (3-4), 484-501, 2018
32018
On algebraic abstractions for concurrent separation logics
F Farka, A Nanevski, A Banerjee, GA Delbianco, I Fábregas
Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021
22021
Maintainable type classes for Haskell
F Farka
Univerzita Karlova, Matematicko-fyzikální fakulta, 2014
12014
slepice: Towards a Verified Implementation of Type Theory in Type Theory
F Farka
International Symposium on Logic-Based Program Synthesis and Transformation …, 2020
2020
Proof-relevant resolution for elaboration of programming languages
F Farka
Technical Communications of the 34th International Conference on Logic …, 2018
2018
CoALP-Ty'16
E Komendantskaya, F Farka
arXiv preprint arXiv:1612.03032, 2016
2016
Proofs by Resolution and Existential Variables
F Farka
CoALP-Ty’16, 19, 2016
2016
The Brave New World of Haskell Type Classes
F Farka
2015
Implementation of the SF-HRP action selection mechanism
F Farka
Univerzita Karlova, Matematicko-fyzikální fakulta, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–11