Author:
Accattoli Beniamino,Sacerdoti Coen Claudio
Publisher
Springer Berlin Heidelberg
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. THE DYNAMIC GEOMETRY OF INTERACTION MACHINE: A TOKEN-GUIDED GRAPH REWRITER;LOG METH COMPUT SCI;2019
2. (In)Efficiency and Reasonable Cost Models;Electronic Notes in Theoretical Computer Science;2018-10
3. Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting;Electronic Proceedings in Theoretical Computer Science;2018-02-16
4. Environments and the complexity of abstract machines;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09
5. Implementing Open Call-by-Value;Fundamentals of Software Engineering;2017