Frantisek Farka

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 11

Top Topics

Programming Language

Sets Of Probability Measures

Propositional Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai
Developing With Formal Methods at BedRock Systems, Inc. IEEE Secur. Priv. 20 (3) (2022)
Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
On algebraic abstractions for concurrent separation logics. Proc. ACM Program. Lang. 5 (POPL) (2021)
Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
On Algebraic Abstractions for Concurrent Separation Logics. CoRR (2020)
Frantisek Farka
slepice: Towards a Verified Implementation of Type Theory in Type Theory. LOPSTR (2020)
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
Proof-Carrying Plans. PADL (2019)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. CoRR (2018)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Theory Pract. Log. Program. 18 (3-4) (2018)
Frantisek Farka
Proof-Relevant Resolution for Elaboration of Programming Languages. ICLP (Technical Communications) (2018)
Ekaterina Komendantskaya, Frantisek Farka
CoALP-Ty'16. CoRR (2016)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu
Coinductive Soundness of Corecursive Type Class Resolution. CoRR (2016)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Coinductive Soundness of Corecursive Type Class Resolution. LOPSTR (2016)