Polymorphic type assignment and CPS conversion-Reference-Cited by-同舟云学术

Polymorphic type assignment and CPS conversion

Published:1993-11 Issue:3-4 Volume:6 Page:361-379
ISSN:0892-4635
Container-title:LISP and Symbolic Computation
language:en
Short-container-title:LISP and Symbolic Computation

Author:

Harper Robert,Lillibridge Mark

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software,General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01019463.pdf

Reference23 articles.

1. Clinger, William, Friedman, Daniel P., and Wand, Mitchell. A scheme for higher-level semantic algebra. In Maurice Nivat and John C. Reynolds, editors,Algebraic Methods in Semantics, pages 237?250. Cambridge University Press, Cambridge, 1985.

2. Damas, Luis and Milner, Robin. Principal type schemes for functional programs. InNinth ACM Symposium on Principles of Programming Languages, pages 207?212, 1982.

3. Danvy, Olivier and Hatcliff, John. Thunks (continued). InProceedings of the Workshop on Static Analysis WSA'92, Volume 81?82 ofBigre Journal, pages 3?11, Bordeaux, France, September 1992. IRISA. Rennes, France. Extended version available as Technical Report CIS-92?28, Kansas State University.

4. Duba, Bruce, Harper, Robert, and MacQueen, David. Typing first-class continuations in ML. InEighteenth ACM Symposium on Principles of Programming Languages, January 1991.

5. Felleisen, Matthias, Friedman, Daniel, Kohlbecker, Eugene, and Duba, Bruce. A syntactic theory of sequential control.Theoretical Computer Science, 52(3):205?237, 1987.

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

1. Signature restriction for polymorphic algebraic effects;Journal of Functional Programming;2024

2. A Functional Abstraction of Typed Invocation Contexts;Logical Methods in Computer Science;2022-09-15

3. CPS transformation with affine types for call-by-value implicit polymorphism;Proceedings of the ACM on Programming Languages;2021-08-22

4. Signature restriction for polymorphic algebraic effects;Proceedings of the ACM on Programming Languages;2020-08-02

5. A Classical Sequent Calculus with Dependent Types;ACM Transactions on Programming Languages and Systems;2019-06-21