( en | de | ru )

 

Disambiguation of "Biernacki, Dariusz"

Author of the publication

copydeleteadd this publication to your clipboard
Fully abstract encodings of λ-calculus in HOcore through abstract machines.

, , , , , and . LICS, page 1-12. IEEE Computer Society, (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Stephanie Biernacki

Dariusz Wawro

Dariusz Wolany

Dariusz Zakrzewicz

Dariusz Oko

 

Other publications of authors with the same name

Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory., , and . PPDP, page 4:1-4:13. ACM, (2021)A systematic derivation of the STG machine verified in Coq., and . Haskell, page 25-36. ACM, (2010)Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines., and . LOPSTR, volume 13290 of Lecture Notes in Computer Science, page 38-59. Springer, (2021)A Coq formalization of normalization by evaluation for Martin-Löf type theory., and . CPP, page 266-279. ACM, (2018)Non-Deterministic Abstract Machines., , , and . CONCUR, volume 243 of LIPIcs, page 7:1-7:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Optimizing a Non-Deterministic Abstract Machine with Environments., , , and . FSCD, volume 299 of LIPIcs, page 11:1-11:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Clock-directed modular code generation for synchronous data-flow languages., , , and . LCTES, page 121-130. ACM, (2008)A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers., , and . FSCD, volume 167 of LIPIcs, page 7:1-7:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Fully Abstract Encodings of $łambda$-Calculus in HOcore through Abstract Machines., , , , , and . Log. Methods Comput. Sci., (2024)A functional correspondence between evaluators and abstract machines., , , and . PPDP, page 8-19. ACM, (2003)