( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Equational Theories and Monads from Polynomial Cayley Representations.

, , и . FoSSaCS, том 11425 из Lecture Notes in Computer Science, стр. 453-469. Springer, (2019)

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.

Filip Beck

Heinrich Filip

Filip Lebo

Adam Filip

Filip Floegel

 

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

Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory., , и . PPDP, стр. 4:1-4:13. ACM, (2021)Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq., , , и . ITP, том 6898 из Lecture Notes in Computer Science, стр. 22-38. Springer, (2011)The Essence of Generalized Algebraic Data Types., , , и . Proc. ACM Program. Lang., 8 (POPL): 695-723 (января 2024)A Separation Logic for Fictional Sequential Consistency., , , и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 736-761. Springer, (2015)ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages., , и . ITP, том 9236 из Lecture Notes in Computer Science, стр. 375-390. Springer, (2015)A Concurrent Logical Relation., , и . CSL, том 16 из LIPIcs, стр. 107-121. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq., , и . IFL, том 6647 из Lecture Notes in Computer Science, стр. 72-88. Springer, (2010)Formalized Verification of Snapshotable Trees: Separation and Sharing., , , и . VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 179-195. Springer, (2012)Typed Equivalence of Effect Handlers and Delimited Control., , и . FSCD, том 131 из LIPIcs, стр. 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Reflection on Continuation-Composing Style., , и . FSCD, том 167 из LIPIcs, стр. 18:1-18:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)