Henning Makholm

According to our database, Henning Makholm authored at least 9 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Type inference, principal typings, and let-polymorphism for first-class mixin modules.

Henning Makholm, J. B. Wells

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.

Henning Makholm, J. B. Wells

Proceedings of the Programming Languages and Systems, 2005

2004

PolyA: True Type Polymorphism for Mobile Ambients.

Torben Amtoft, Henning Makholm, J. B. Wells

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2002

On Enabling the WAM with Region Support.

Henning Makholm, Konstantinos Sagonas

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management.

Fritz Henglein, Henning Makholm, Henning Niss

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Tag Elimination and Jones-Optimality.

Walid Taha, Henning Makholm, John Hughes

Proceedings of the Programs as Data Objects, Second Symposium, 2001

2000

On Jones-Optimal Specialization for Strongly Typed Languages.

Henning Makholm

Proceedings of the Semantics, 2000

A Region-Based Memory Manager for Prolog.

Henning Makholm

Proceedings of the ISMM 2000, 2000

1998

C-MIX: Specialization of C Programs.

Arne J. Glenstrup, Henning Makholm, Jens P. Secher

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998