 | 2011 |
|---|
| 7 |       | Andrzej Kochut,
Yu Deng,
Michael R. Head,
Jonathan Munson,
Anca Sailer,
Hidayatullah Shaikh,
Chunqiang Tang,
Alexander Amies,
Murray Beaton,
David Geiss,
David Herman,
Holger Macho,
Stephan Pappe,
Scott Peddle,
Randy Rendahl,
Angel E. Tomala Reyes,
Harm Sluiman,
Brian Snitzer,
Troy Volin,
Hendrik Wagner:
Evolution of the IBM Cloud: Enabling an enterprise cloud services ecosystem.
IBM Journal of Research and Development 55(6): 7 (2011) |
| 2010 |
|---|
| 6 | | David Herman,
Aaron Tomb,
Cormac Flanagan:
Space-efficient gradual typing.
Higher-Order and Symbolic Computation 23(2): 167-189 (2010) |
| 2008 |
|---|
| 5 | | David Herman,
Mitchell Wand:
A Theory of Hygienic Macros.
ESOP 2008: 48-62 |
| 2007 |
|---|
| 4 | | David Herman:
Functional pearl: the great escape or, how to jump the border without getting caught.
ICFP 2007: 157-164 |
| 3 | | David Herman,
Cormac Flanagan:
Status report: specifying javascript with ML.
ML 2007: 47-52 |
| 2004 |
|---|
| 2 | | 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 M. Keuneke,
David Herman:
Building Routine Planning Systems and Explaining Their Behaviour.
International Journal of Man-Machine Studies 30(4): 377-398 (1989) |
Data released under the ODC-BY 1.0 license — See also our legal information page