Henning Makholm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1998–2005
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ESOP | Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. | Henning Makholm, J. B. Wells |
| 2005 | ICFP | Type inference, principal typings, and let-polymorphism for first-class mixin modules. | Henning Makholm, J. B. Wells |
| 2002 | ICLP | On Enabling the WAM with Region Support. | Henning Makholm, Konstantinos Sagonas |
| 2001 | PPDP | A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. | Fritz Henglein, Henning Makholm, Henning Niss |
| 1998 | PEPM | C-MIX: Specialization of C Programs. | Arne J. Glenstrup, Henning Makholm, Jens P. Secher |