Usage analysis with natural reduction types-Reference-Cited by-同舟云学术

Usage analysis with natural reduction types

Published:1993 Issue: Volume: Page:254-266
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Wright David A.,Baker-Finch Clement A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57264-3_46.pdf

Reference34 articles.

1. A. R. Anderson and N. D. Belnap, Jr. Entailment: The Logic of Relevance and Necessity. Princeton University Press, 1975.

2. A. Avron. The semantics and proof theory of linear logic. Theoretical Computer Science, 57:161–184, 1988.

3. C. A. Baker-Finch. Relevant logic and strictness analysis. In Workshop on Static Analysis, LaBRI, Bordeaux, pages 221–228. Bigre 81–82, 1992.

4. H.P. Barendregt. The Lambda-Calculus: its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, second edition, 1984.

5. H.P. Barendregt, M. Coppo, and M. Dezani-Ciancaglini. A Filter Lambda Model and the Completeness of Type Assignment. Journal of Symbolic Logic, 48(4):931–940, December 1983.

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

1. Really Natural Linear Indexed Type Checking;Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages;2014-10

2. Hybridizing a Logical Framework;Electronic Notes in Theoretical Computer Science;2007-06

3. Type theory and projections for static analysis;Lisp and Symbolic Computation;1995-09

4. Compile-time garbage collection for lazy functional languages;Memory Management;1995