( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.

, , и . FSCD, том 167 из LIPIcs, стр. 7:1-7:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Stephanie Biernacki

Dariusz Wawro

Dariusz Wolany

Dariusz Zakrzewicz

Dariusz Oko

 

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

A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers., , и . FSCD, том 167 из LIPIcs, стр. 7:1-7:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Clock-directed modular code generation for synchronous data-flow languages., , , и . LCTES, стр. 121-130. ACM, (2008)Non-Deterministic Abstract Machines., , , и . CONCUR, том 243 из LIPIcs, стр. 7:1-7:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Handle with care: relational interpretation of algebraic effects and handlers., , , и . Proc. ACM Program. Lang., 2 (POPL): 8:1-8:30 (2018)Binders by day, labels by night: effect instances via lexically scoped handlers., , , и . Proc. ACM Program. Lang., 4 (POPL): 48:1-48:29 (2020)Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines., и . LOPSTR, том 13290 из Lecture Notes in Computer Science, стр. 38-59. Springer, (2021)A systematic derivation of the STG machine verified in Coq., и . Haskell, стр. 25-36. ACM, (2010)A Coq formalization of normalization by evaluation for Martin-Löf type theory., и . CPP, стр. 266-279. ACM, (2018)Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory., , и . PPDP, стр. 4:1-4:13. ACM, (2021)A functional correspondence between evaluators and abstract machines., , , и . PPDP, стр. 8-19. ACM, (2003)