Jacques Carette, Michael Kucera
Partial evaluation of Maple
PEPM, 2011.
@article{PEPM-J-2007-CaretteK11a, author = "Jacques Carette and Michael Kucera", doi = "10.1016/j.scico.2010.12.001", journal = "{Science of Computer Programming}", number = 6, pages = "469--491", title = "{Partial evaluation of Maple}", volume = 76, year = 2011, }