@article(ErwigR04, author = "Martin Erwig and Deling Ren", year = "2004", title = "Monadification of functional programs", journal = "Sci. Comput. Program.", volume = "52", pages = "101--129", doi = "10.1016/j.scico.2004.03.004", ) @article(Futamura+71, author = "Yoshihiko Futamura", year = "1999", title = "Partial Evaluation of Computation Process --- An Approach to a Compiler-Compiler", journal = "Higher Order Symbol. Comput.", volume = "12", pages = "381--391", doi = "10.1023/A:1010095604496", ) @misc(Hatcliff_foundationsfor, author = "John Hatcliff", year = "1999", title = "Foundations of Partial Evaluation and Program Specialization", url = "http://people.cis.ksu.edu/~hatcliff/FPEPS/", ) @inproceedings(Hudak:1998:MDS:551789.853532, author = "P. Hudak", year = "1998", title = "Modular Domain Specific Languages and Tools", booktitle = "Proceedings of the 5th International Conference on Software Reuse", series = "ICSR '98", publisher = "IEEE Computer Society", address = "Washington, DC, USA", pages = "134--", ) @book(PartialEvalBookGomard, author = "Neil D. Jones and Carsten K. Gomard and Peter Sestoft", year = "1993", title = "Partial evaluation and automatic program generation", publisher = "Prentice-Hall, Inc.", address = "Upper Saddle River, NJ, USA", ) @inproceedings(Laemmel99, author = "Ralf L{\"a}mmel", year = "1999", title = "{Reuse by Program Transformation}", booktitle = "{Selected papers from the 1st Scottish Functional Programming Workshop (SFP 1999)}", series = "Trends in Functional Programming", volume = "1", publisher = "Intellect", pages = "144--153", ) @inproceedings(Landauer:1999:GPP:874070.876061, author = "C. Landauer and K.L. Bellman", year = "1999", title = "Generic programming, partial evaluation, and a new programming paradigm", booktitle = "System Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on", volume = "Track3", pages = "10 pp.", doi = "10.1109/HICSS.1999.772896", ) @inproceedings(LeMeur:2002:TBG:503032.503033, author = "Anne-Fran\c {c}oise Le Meur and Julia L. Lawall and Charles Consel", year = "2002", title = "Towards bridging the gap between programming languages and partial evaluation", booktitle = "Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation", series = "PEPM '02", publisher = "ACM", pages = "9--18", doi = "10.1145/503032.503033", ) @inproceedings(Shali2011, author = "Amin Shali and William R. Cook", year = "2011", title = "Hybrid Partial Evaluation", booktitle = "Proc. of ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications", note = "(to appear)", ) @inproceedings(Thiemann95, author = "Peter Thiemann and Robert Gl{\"u}ck", year = "1995", title = "The Generation of a Higher-Order Online Partial Evaluator", booktitle = "Fuji Workshop on Functional and Logic Programming", pages = "239--253", ) @inproceedings(Veldhuizen1998, author = "Todd L. Veldhuizen", year = "1999", title = "C++ Templates as Partial Evaluation", booktitle = "Partial Evaluation and Semantic-Based Program Manipulation", pages = "13--18", )