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) |
1 | B. Chandrasekaran (Balakrishnan Chandrasekaran) | [1] |
2 | Cormac Flanagan | [3] |
3 | John R. Josephson | [1] |
4 | Anne Keuneke | [1] |
5 | Philippe Meunier | [2] |
6 | Mitchell Wand | [5] |