Author:
Benton Nick,Kennedy Andrew,Hofmann Martin,Nigam Vivek
Publisher
Springer International Publishing
Reference32 articles.
1. Ahman, D., Plotkin, G.D.: Refinement types for algebraic effects. In: Abstracts of the 21st Meeting ‘Types for Proofs and Programs’ (TYPES), Institute of Cybernetics, Tallinn University of Technology, pp. 10–11 (2015)
2. Benton, N.: Simple relational correctness proofs for static analyses and program transformations. In: 31st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), pp. 14–25. ACM (2004)
3. Benton, N., Buchlovsky, P.: Semantics of an effect analysis for exceptions. In: 3rd ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), pp. 15–26. ACM (2007)
4. Benton, N., Hofmann, M., Nigam, V.: Abstract effects and proof-relevant logical relations. In: 41st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), pp. 619–632. ACM (2014)
5. Benton, N., Hofmann, M., Nigam, V.: Effect-dependent transformations for concurrent programs
arXiv:1510.02419
(2015)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The next 700 relational program logics;Proceedings of the ACM on Programming Languages;2020-01
2. Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order;Programming Languages and Systems;2019
3. Effect-dependent transformations for concurrent programs;Science of Computer Programming;2018-04
4. Combining effects and coeffects via grading;ACM SIGPLAN Notices;2016-12-05
5. Effect-dependent transformations for concurrent programs;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05