Author:
Nielson Flemming,Riis Nielson Hanne,Amtoft Torben
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. T. Amtoft, F. Nielson, H.R. Nielson, J. Ammann: Polymorphic subtypes for effect analysis: the dynamic semantics. This volume of SLNCS, 1997.
2. Y.-C. Fuh and P. Mishra: Polymorphic subtype inference: closing the theory-practice gap. In Proc. TAPSOFT '89. SLNCS 352, 1989.
3. Y.-C. Fuh and P. Mishra: Type inference with subtypes. Theoretical Computer Science, 73, 1990.
4. F. Henglein and C. Mossin: Polymorphic binding-time analysis. In Proc. ESOP '94, pages 287–301. SLNCS 788, 1994.
5. M.P. Jones: A theory of qualified types. In Proc. ESOP '92, pages 287–306. SLNCS 582, 1992.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Predicting resource consumption of higher-order workflows;Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2017-01-02
2. Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages;Programming Languages and Systems;2015
3. Type and Effect Systems;Lecture Notes in Computer Science;1999
4. Polymorphic subtyping for effect analysis: The dynamic semantics;Analysis and Verification of Multiple-Agent Languages;1997
5. Polymorphic subtyping for effect analysis: The static semantics;Analysis and Verification of Multiple-Agent Languages;1997