Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference19 articles.
1. A functional correspondence between monadic evaluators and abstract machines for languages with computational effects;Ager;Theoretical Computer Science,2005
2. K. Anton, P. Thiemann, Deriving type systems and implementations for coroutines, in: APLAS ʼ10, pp. 63–79.
3. A concrete framework for environment machines;Biernacka;Transactions on Computational Logic,2007
4. O. Danvy, Defunctionalized interpreters for programming languages, in: ICFP ʼ08, pp. 131–142.
5. From reduction-based to reduction-free normalization;Danvy,2008
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. From Outermost Reduction Semantics to Abstract Machine;Logic-Based Program Synthesis and Transformation;2014
2. Proofs, Upside Down;Programming Languages and Systems;2013