Mads Rosendahl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1992–2008
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | LPAR | Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. | John P. Gallagher, Mads Rosendahl |
| 1994 | SAS | Efficient Strictness Analysis of Haskell. | Kristian Damm Jensen, Peter Hjresen, Mads Rosendahl |
| 1992 | SAS | Minimal Function Graphs are not Instrumented. | Alan Mycroft, Mads Rosendahl |