%0 Conference Paper %1 conf/lopstr/BuszkaB21 %A Buszka, Maciej %A Biernacki, Dariusz %B LOPSTR %D 2021 %E Angelis, Emanuele De %E Vanhoof, Wim %I Springer %K dblp %P 38-59 %T Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2021.html#BuszkaB21 %V 13290 %@ 978-3-030-98869-2

@inproceedings{conf/lopstr/BuszkaB21, added-at = {2022-04-01T00:00:00.000+0200}, author = {Buszka, Maciej and Biernacki, Dariusz}, biburl = {https://www.bibsonomy.org/bibtex/29c6a6a0d048d367bc148a14a8e1d3625/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2021}, editor = {Angelis, Emanuele De and Vanhoof, Wim}, ee = {https://doi.org/10.1007/978-3-030-98869-2_3}, interhash = {6c146d924d76003939c76fc6929e853e}, intrahash = {9c6a6a0d048d367bc148a14a8e1d3625}, isbn = {978-3-030-98869-2}, keywords = {dblp}, pages = {38-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:36:54.000+0200}, title = {Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2021.html#BuszkaB21}, volume = 13290, year = 2021 }