Publisher
Springer International Publishing
Reference19 articles.
1. Ahmed, A., Blume, M.: Typed closure conversion preserves observational equivalence. In: International Conference on Functional Programming, ICFP 2008, pp. 157–168 (2008)
2. Benton, N., Hur, C.: Biorthogonality, step-indexing and compiler correctness. In: International Conference on Functional program ming, ICFP 2009, pp. 97–108 (2009)
3. Lecture Notes in Computer Science;U Lago Dal,2010
4. Danos, V., Herbelin, H., Regnier, L.: Game semantics and abstract machines. In: Logic in Computer Science, LICS 1996, pp. 394–405. IEEE (1996)
5. Fernández, M., Mackie, I.: Call-by-value lambda-graph rewriting without rewriting. in: International Conference on Graph Transformation, ICGT 2002, pp. 75–89 (2002)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The (In)Efficiency of interaction;Proceedings of the ACM on Programming Languages;2021-01-04
2. The Machinery of Interaction;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08
3. Particle-Style Geometry of Interaction as a Module System;Programming Languages and Systems;2018
4. Defunctionalisation as modular closure conversion;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09
5. Memoryful geometry of Interaction II: recursion and adequacy;ACM SIGPLAN Notices;2016-04-08