| 2005 |
|---|
| 9 | EE | Henning Makholm,
J. B. Wells:
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.
ESOP 2005: 389-407 |
| 8 | EE | Henning Makholm,
J. B. Wells:
Type inference, principal typings, and let-polymorphism for first-class mixin modules.
ICFP 2005: 156-167 |
| 2004 |
|---|
| 7 | | Torben Amtoft,
Henning Makholm,
J. B. Wells:
PolyA: True Type Polymorphism for Mobile Ambients.
IFIP TCS 2004: 591604 |
| 2002 |
|---|
| 6 | EE | Henning Makholm,
Konstantinos F. Sagonas:
On Enabling the WAM with Region Support.
ICLP 2002: 163-178 |
| 2001 |
|---|
| 5 | EE | Walid Taha,
Henning Makholm,
John Hughes:
Tag Elimination and Jones-Optimality.
PADO 2001: 257-275 |
| 4 | | Fritz Henglein,
Henning Makholm,
Henning Niss:
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management.
PPDP 2001: 175-186 |
| 2000 |
|---|
| 3 | | Henning Makholm:
A Region-Based Memory Manager for Prolog.
ISMM 2000: 25-34 |
| 2 | EE | Henning Makholm:
On Jones-Optimal Specialization for Strongly Typed Languages.
SAIG 2000: 129-148 |
| 1998 |
|---|
| 1 | | Arne J. Glenstrup,
Henning Makholm,
Jens P. Secher:
C-MIX: Specialization of C Programs.
Partial Evaluation 1998: 108-154 |
