Author:
Banerjee Anindya,Heintze Nevin,Riecke Jon G.
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. M. Abadi, A. Banerjee, N. Heintze, and J.G. Riecke. A core calculus of dependency. In POPL’99, ACM Press.
2. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley Publishing Co., 1986.
3. A.W. Appel. Compiling with Continuations.Cambridge University Press, 1992.
4. A. Banerjee. A modular, polyvariant and type-based closure analysis.In ICFP’97, ACM Press.
5. H.P. Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic.North-Holland, 1981.Revised Edition, 1984.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献