Author:
Duba Bruce,Harper Robert,MacQueen David
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reachability types: tracking aliasing and separation in higher-order functional programs;Proceedings of the ACM on Programming Languages;2021-10-20
2. On Correspondence between Selective CPS Transformation and Selective Double Negation Translation;Mathematics;2021-02-15
3. A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations;ACM Transactions on Programming Languages and Systems;2015-10-16
4. Substitution, jumps, and algebraic effects;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Subtyping delimited continuations;Proceedings of the 16th ACM SIGPLAN international conference on Functional programming;2011-09-19