受强制性开放获取政策约束的文章 - Tomasz Drab了解详情
可在其他位置公开访问的文章：3 篇
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
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
出版信息和资助信息由计算机程序自动确定