|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Herman, Aaron Tomb, Cormac Flanagan |
Space-efficient gradual typing.  |
Higher-Order and Symbolic Computation  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Herman, Mitchell Wand |
A Theory of Hygienic Macros.  |
ESOP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Herman, Cormac Flanagan |
Status report: specifying javascript with ML.  |
ML  |
2007 |
DBLP DOI BibTeX RDF |
definitional interpreters, JavaScript, standard ML |
| 1 | David Herman |
Functional pearl: the great escape or, how to jump the border without getting caught.  |
ICFP  |
2007 |
DBLP DOI BibTeX RDF |
delimited control, continuations, dynamic binding |
| 1 | David Herman, Philippe Meunier |
Improving the static analysis of embedded languages via partial evaluation.  |
ICFP  |
2004 |
DBLP DOI BibTeX RDF |
value flow analysis, partial evaluation, macros, embedded languages |
| 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  |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|