2008 |
5 | EE | David Herman,
Mitchell Wand:
A Theory of Hygienic Macros.
ESOP 2008: 48-62 |
2007 |
4 | EE | David Herman:
Functional pearl: the great escape or, how to jump the border without getting caught.
ICFP 2007: 157-164 |
3 | EE | David Herman,
Cormac Flanagan:
Status report: specifying javascript with ML.
ML 2007: 47-52 |
2004 |
2 | EE | David Herman,
Philippe Meunier:
Improving the static analysis of embedded languages via partial evaluation.
ICFP 2004: 16-27 |
1989 |
1 | | B. Chandrasekaran,
John R. Josephson,
Anne Keuneke,
David Herman:
Building Routine Planning Systems and Explaining Their Behaviour.
International Journal of Man-Machine Studies 30(4): 377-398 (1989) |