受强制性开放获取政策约束的文章 - Malgorzata Biernacka了解详情
无法在其他位置公开访问的文章：1 篇
A derived reasonable abstract machine for strong call by value
M Biernacka, W Charatonik, T Drab
Proceedings of the 23rd International Symposium on Principles and Practice …, 2021
强制性开放获取政策： Narodowe Centrum Nauki
可在其他位置公开访问的文章：4 篇
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
The zoo of lambda-calculus reduction strategies, and Coq
M Biernacka, W Charatonik, T Drab
13th International Conference on Interactive Theorem Proving (ITP 2022), 2022
强制性开放获取政策： Narodowe Centrum Nauki
A simple and efficient implementation of strong call by need by an abstract machine
M Biernacka, W Charatonik, T Drab
Proceedings of the ACM on Programming Languages 6 (ICFP), 109-136, 2022
强制性开放获取政策： Narodowe Centrum Nauki
Optimizing a Non-Deterministic Abstract Machine with Environments
M Biernacka, D Biernacki, S Lenglet, A Schmitt
强制性开放获取政策： Narodowe Centrum Nauki
出版信息和资助信息由计算机程序自动确定