Author:
Igarashi Atsushi,Kobayashi Naoki
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Andrew W. Appel. Compiling with Continuations. Cambridge Univ. Press, 1992.
2. Christopher Colby. Analyzing the communication topology of concurrent programs. In ACM PEPM'95, 1995.
3. Atsushi Igarashi. Type-based analysis of usage of values for concurrent programming languages. Master's thesis, University of Tokyo, February 1997.
4. Atsushi Igarashi and Naoki Kobayashi. Type-based analysis of communication for concurrent programming languages. Technical Report 97-03, Department of Information Science, University of Tokyo, June 1997.
5. P.C. Kanellakis, H.G. Mairson, and J.C. Mitchell. Unification and ML type reconstruction. In Computational Logic, Essays in Honor of Alan Robinson, pages 444–478. MIT Press, 1991.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献