Author:
Amtoft Torben,Nielson Flemming,Riis Nielson Hanne,Ammann Jürgen
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. M. Debbabi and D. Bolignano: A semantic theory for ML higher-order concurrency primitives. In ML with Concurrency: Design, Analysis, Implementation and Application (editor: Flemming Nielson), Springer-Verlag, 1996.
2. M. Felleisen and D.P. Friedman: Control operators, the SECD-Machine, and the λ calculus. Formal Descriptions of Programming Concepts III, North-Holland, 1986.
3. X. Leroy and P. Weis: Polymorphic type inference and assignment. In Proc. POPL '91, pages 291–302. ACM Press, 1991.
4. R. Milner: A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348–375, 1978.
5. H.R. Nielson and F. Nielson: Higher-order concurrent programs with finite communication topology. In Proc. POPL'94, pages 84–97. ACM Press, 1994.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type and Effect Systems;Lecture Notes in Computer Science;1999
2. Polymorphic subtyping for effect analysis: The static semantics;Analysis and Verification of Multiple-Agent Languages;1997
3. Polymorphic subtyping for effect analysis: The algorithm;Analysis and Verification of Multiple-Agent Languages;1997