Author:
Birkedal Lars,Harper Robert
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Martin Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems, 13(2):237–268, April 1991.
2. Lars Birkedal and Robert Harper. Relational interpretations of recursive types in an operational setting. Unpublished manuscript.
3. William Clinger and Jonathan Rees. Revised4 report on the algorithmic language Scheme. LISP Pointers, IV(3):1–55, July-Sep. 1991.
4. Bruce Duba, Robert Harper, and David MacQueen. Typing first-class continuations in ML. In Eighteenth ACM Symposium on Principles of Programming Languages, January 1991.
5. Andrzej Filinski. Controlling Effects. CMU-CS-96-119, School of Computer Science, Carnegie Mellon University, May 1996.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type Systems;Computing Handbook, Third Edition;2014-05-08
2. Semantic foundations for typed assembly languages;ACM Transactions on Programming Languages and Systems;2010-03
3. Free Theorems and Runtime Type Representations;Electronic Notes in Theoretical Computer Science;2007-04
4. Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types;Programming Languages and Systems;2006
5. Parametric Polymorphism and Operational Equivalence (Preliminary Version);Electronic Notes in Theoretical Computer Science;1998