Author:
Murawski Andrzej S.,Ramsay Steven J.,Tzevelekos Nikos
Publisher
Springer International Publishing
Reference13 articles.
1. Ahmed, A., Dreyer, D., Rossberg, A.: State-dependent representation independence. In: Proceedings of POPL, pp. 340–353. ACM (2009)
2. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of STOC 2004, pp. 202–211 (2004)
3. Lecture Notes in Computer Science;N Benton,2005
4. Bierman, G., Parkinson, M., Pitts, A.: MJ: an imperative core calculus for Java and Java with effects. Technical report 563, Computer Laboratory, University of Cambridge (2002)
5. Dreyer, D., Neis, G., Birkedal, L.: The impact of higher-order state and control effects on local relational reasoning. In: Proceedings of ICFP, pp. 143–156. ACM (2010)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献