Author:
Birkedal Lars,Harper Robert
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference26 articles.
1. Compiling with Continuations;Appel,1992
2. Revised4 report on the algorithmic language scheme;Clinger;LISP Pointers,1991
3. Introduction to Lattices and Order;Davey,1990
4. Controlling Effects;Filinski,1996
5. Lambda-calculus schemata;Fischer;LISP Symbolic Comput.,1993
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
2. Step-Indexed Relational Reasoning for Countable Nondeterminism;Logical Methods in Computer Science;2013-10-15
3. An operational domain-theoretic treatment of recursive types;Mathematical Structures in Computer Science;2013-03-19
4. Non-parametric parametricity;Journal of Functional Programming;2011-09
5. Logical Step-Indexed Logical Relations;Logical Methods in Computer Science;2011-06-07