Author:
Murawski Andrzej S.,Ramsay Steven J.,Tzevelekos Nikos
Publisher
Springer International Publishing
Reference15 articles.
1. Lecture Notes in Computer Science;E Ábrahám,2005
2. 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)
3. Lecture Notes in Computer Science;A Bouajjani,2007
4. Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects Comput. 13, 341–363 (2002)
5. Lecture Notes in Computer Science;D Hopkins,2011
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献