Author:
Helsen Simon,Thiemann Peter
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. Region analysis and the polymorphic lambda calculus. In Proc. of the 14th Annual IEEE symposium on Logic in Computer Science, Trento, Italy, July 1999. IEEE Computer Society Press.
2. Lars Birkedal and Mads Tofte. A constraint-based region inference algorithm. Theoretical Computer Science, to appear, 1999.
3. Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, pages 171–183, St. Petersburg, Fla., January 1996. ACM. Press.
4. Cristiano Calcagno. Stratified operational semantics for safety and correctness of the region calculus. Personal communication, July 2000. Draft obtainable from ftp://ftp.disi.unige.it/person/CalcagnoC/regions.ps.
5. Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In Proc. 20th Annual ACM Symposium on Principles of Programming Languages, pages 493–501, Charleston, South Carolina, January 1993. ACM Press.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献