受强制性开放获取政策约束的文章 - Dariusz Biernacki了解详情
可在其他位置公开访问的文章：8 篇
Abstracting algebraic effects
D Biernacki, M Piróg, P Polesiuk, F Sieczkowski
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
强制性开放获取政策： European Commission
A complete normal-form bisimilarity for state
D Biernacki, S Lenglet, P Polesiuk
International Conference on Foundations of Software Science and Computation …, 2019
强制性开放获取政策： European Commission
Reflecting stacked continuations in a fine-grained direct-style reduction theory
D Biernacki, M Pyzik, F Sieczkowski
Proceedings of the 23rd International Symposium on Principles and Practice …, 2021
强制性开放获取政策： Narodowe Centrum Nauki
Fully Abstract Encodings of -Calculus in HOcore through Abstract Machines
M Biernacka, D Biernacki, S Lenglet, P Polesiuk, D Pous, A Schmitt
Logical Methods in Computer Science 20, 2024
强制性开放获取政策： Agence Nationale de la Recherche, Narodowe Centrum Nauki
Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines
M Buszka, D Biernacki
International Symposium on Logic-Based Program Synthesis and Transformation …, 2021
强制性开放获取政策： Narodowe Centrum Nauki, Polish National Agency for Academic Exchange
Diacritical companions
D Biernacki, S Lenglet, P Polesiuk
Electronic Notes in Theoretical Computer Science 347, 25-43, 2019
强制性开放获取政策： European Commission
A general fine-grained reduction theory for effect handlers
F Sieczkowski, M Pyzik, D Biernacki
Proceedings of the ACM on Programming Languages 7 (ICFP), 511-540, 2023
强制性开放获取政策： Narodowe Centrum Nauki
Optimizing a Non-Deterministic Abstract Machine with Environments
M Biernacka, D Biernacki, S Lenglet, A Schmitt
强制性开放获取政策： Narodowe Centrum Nauki
出版信息和资助信息由计算机程序自动确定