Author:
Kamperman J. F. Th.,Walters H. R.
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Torben Amtoft. Minimal thunkification. In Third International Workshop on Static Analysis, Padova, Italy, volume 724 of Lecture Notes in Computer Science, pages 218–229. Springer-Verlag, 1993.
2. Henry G. Baker. Cons should not cons its arguments, part II: Cheney on the M.T.A. Draft Memorandum, January 1994.
3. P.N. Benton. Strictness properties of lazy algebraic datatypes. In Third International Workshop on Static Analysis, Padova, Italy, volume 724 of Lecture Notes in Computer Science, pages 206–217. Springer-Verlag, 1993.
4. Didier Bert, Rachid Echahed, and Bjarte M. Østvold. Abstract rewriting. In Third International Workshop on Static Analysis, Padova, Italy, volume 724 of Lecture Notes in Computer Science, pages 178–192. Springer-Verlag, 1993.
5. Geoffrey Burn and Daniel Le Métayer. Cps-translation and the correctness of optimising compilers. Technical Report DoC92/20, Imperial College, Department of Computing, 1992.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献