Henning Korsholm Rohde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2002–2004
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | FOSSACS | A Denotational Account of Untyped Normalization by Evaluation. | Andrzej Filinski, Henning Korsholm Rohde |
| 2003 | PEPM | Fast partial evaluation of pattern matching in strings. | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
| 2002 | PEPM | On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |