Author:
Harrison William L.,Procter Adam M.,Agron Jason,Kimmell Garrin,Allwein Gerard
Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. Ager, M.S., Biernacki, D., Danvy, O., Midtgaard, J.: A functional correspondence between evaluators and abstract machines. In: Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pp. 8–19. ACM Press, New York (2003)
2. Ager, M.S., Danvy, O., Midtgaard, J.: A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Theoretical Computer Science 342(1), 149–172 (2005); Extended version available as BRICS technical report RS-4-28
3. Lecture Notes in Computer Science;J. Agron,2009
4. Andrews, D., Peck, W., Agron, J., Preston, K., Komp, E., Finley, M., Sass, R.: hthreads: a hardware/software co-designed multithreaded RTOS kernel. In: Proceedings of the 10th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2005) (September 2005)
5. Appel, A.W.: Compiling with Continuations. Cambridge University Press, Cambridge (1992)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献