关注
Tomasz Drab
Tomasz Drab
University of Wrocław
在 cs.uni.wroc.pl 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
An abstract machine for strong call by value
M Biernacka, D Biernacki, W Charatonik, T Drab
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020
162020
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
122021
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
62022
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
52022
Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
T Drab
arXiv preprint arXiv:2405.12586, 2024
12024
RACHUNEK LAMBDA DLA POCZĄTKUJĄCYCH
T Drab
系统目前无法执行此操作，请稍后再试。
文章 1–6