( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Coinductive Soundness of Corecursive Type Class Resolution.

, , и . LOPSTR, том 10184 из Lecture Notes in Computer Science, стр. 311-327. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Frantisek Hajduk

Frantisek Zdeborsky

Frantisek Jelenciak

Frantisek Kotula

Frantisek Simancik

 

Другие публикации лиц с тем же именем

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis., , и . Theory Pract. Log. Program., 18 (3-4): 484-501 (2018)On algebraic abstractions for concurrent separation logics., , , , и . Proc. ACM Program. Lang., 5 (POPL): 1-32 (2021)Proof-Carrying Plans., , , , , , и . PADL, том 11372 из Lecture Notes in Computer Science, стр. 204-220. Springer, (2019)Coinductive Soundness of Corecursive Type Class Resolution., , , и . CoRR, (2016)Developing With Formal Methods at BedRock Systems, Inc., , , , и . IEEE Secur. Priv., 20 (3): 33-42 (2022)slepice: Towards a Verified Implementation of Type Theory in Type Theory.. LOPSTR, том 12561 из Lecture Notes in Computer Science, стр. 133-150. Springer, (2020)Proof-Relevant Resolution for Elaboration of Programming Languages.. ICLP (Technical Communications), том 64 из OASIcs, стр. 18:1-18:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)CoALP-Ty'16., и . CoRR, (2016)On Algebraic Abstractions for Concurrent Separation Logics., , , , и . CoRR, (2020)Coinductive Soundness of Corecursive Type Class Resolution., , и . LOPSTR, том 10184 из Lecture Notes in Computer Science, стр. 311-327. Springer, (2016)