Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. R. Amadio and L. Cardelli, “Subtyping Recursive types”, ACM-TOPLAS, 15(4):575–631, 1993. (Also in POPL-91, pp. 104–118).
2. A. Bondorf and J. Jorgensen, “Efficient Analysis for Realistic Off-Line Partial Evaluation”, Journal of Function Programming, 3(3), pp. 315–346, 1993.
3. N. Heintze, “Control-Flow Analysis and Type Systems”, Carnegie Mellon University technical report CMU-CS-94-227, 16pp, December 1994.
4. N. Jones, “Flow Analysis of Lambda Expressions”, Symp. on Functional Languages and Computer Architecture, pp. 66–74, 1981.
5. N. Jones, “Flow Analysis of Lazy Higher-Order Functional Programs”, in Abstract Interpretation of Declarative Languages, S. Abramsky and C. Hankin (Eds.), Ellis Horwood, 1987.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献