Author:
Fokker Jeroen,Swierstra S. Doaitse
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. The algebra of programming;Bird,1996
2. Using Circular Programs to Eliminate Multiple Traversals of Data;Bird;Acta Informatica,1984
3. Urban Boquist. Code Optimisation Techniques for Lazy Functional Languages, PhD Thesis. Chalmers University of Technology, 1999
4. Urban Boquist and Thomas Johnsson. The GRIN Project: A Highly Optimising Back End For Lazy Functional Languages. In IFL, 1996
5. Compiling language definitions: the ASF+SDF compiler;van den Brand;ACM Trans. Program. Lang. Syst.,2002
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Generalising Tree Traversals to DAGs;Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation;2015-01-13
2. Abstract Interpretation as a Programming Language;Electronic Proceedings in Theoretical Computer Science;2013-09-19
3. Iterative type inference with attribute grammars;ACM SIGPLAN Notices;2011-01-26