Henning Makholm

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

Publications

Henning Makholm, J. B. Wells
Type inference, principal typings, and let-polymorphism for first-class mixin modules. ICFP (2005)
Henning Makholm, J. B. Wells
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. ESOP (2005)
Torben Amtoft, Henning Makholm, J. B. Wells
PolyA: True Type Polymorphism for Mobile Ambients. IFIP TCS (2004)
Henning Makholm, Konstantinos Sagonas
On Enabling the WAM with Region Support. ICLP (2002)
Walid Taha, Henning Makholm, John Hughes
Tag Elimination and Jones-Optimality. PADO (2001)
Fritz Henglein, Henning Makholm, Henning Niss
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. PPDP (2001)
Henning Makholm
On Jones-Optimal Specialization for Strongly Typed Languages. SAIG (2000)
Henning Makholm
A Region-Based Memory Manager for Prolog. ISMM (2000)
Arne J. Glenstrup, Henning Makholm, Jens P. Secher
C-MIX: Specialization of C Programs. Partial Evaluation (1998)