C-MIX: Specialization of C Programs. - Arne J. Glenstrup; Henning Makholm; Jens P. Secher (Partial Evaluation, 1998)

A Region-Based Memory Manager for Prolog. - Henning Makholm (ISMM, 2000)

On Jones-Optimal Specialization for Strongly Typed Languages. - Henning Makholm (SAIG, 2000)

Tag Elimination and Jones-Optimality. - Walid Taha; Henning Makholm; John Hughes 001 (PADO, 2001)

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. - Fritz Henglein; Henning Makholm; Henning Niss (PPDP, 2001)

On Enabling the WAM with Region Support. - Henning Makholm; Konstantinos Sagonas (ICLP, 2002)

PolyA: True Type Polymorphism for Mobile Ambients. - Torben Amtoft; Henning Makholm; J. B. Wells (IFIP TCS, 2004)

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. - Henning Makholm; J. B. Wells (ESOP, 2005)

Type inference, principal typings, and let-polymorphism for first-class mixin modules. - Henning Makholm; J. B. Wells (ICFP, 2005)