Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time-Reference-Cited by-同舟云学术

Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time

Published:1995 Issue: Volume: Page:118-135
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Dussart Dirk,Henglein Fritz,Mossin Christian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60360-3_36.pdf

Reference17 articles.

1. A. Aiken, E. L. Wimmers, and T. Lakshman. Soft typing with conditional types. In Proc. 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Portland, Oregon. ACM, ACM Press, Jan. 1994.

2. J. Cai and R. Paige. Program derivation by fixed point computation. Science of Computer Programming, 11:197–261, 1989.

3. C. Consel, P. Jouvelot, and P. Ørbæk. Seperate polyvariant binding time reconstruction. Technical Report CRI Report A/261, Ecole des Mines, Oct. 1994.

4. L. Damas. Type Assignment in Programming Languages. PhD thesis, University of Edinburgh, 1984. Technical Report CST-33–85 (1985).

5. L. Damas and R. Milner. Principal type schemes for functional programs. In Proc. 9th Annual ACM Symp. on Principles of Programming Languages, pages 207–212, Jan. 1982.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Higher-Ranked Annotation Polymorphic Dependency Analysis;Programming Languages and Systems;2020

2. A Type Theoretic Specification of Partial Evaluation;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014

3. Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators;ACM SIGPLAN Notices;2010-09-27

4. Tag-Free Combinators for Binding-Time Polymorphic Program Generation;Functional and Logic Programming;2010

5. Type-based flow analysis and context-free language reachability;Mathematical Structures in Computer Science;2008-10