Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Henning
Last name:	Makholm
DBLP:	53/6221
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 9 of 9  

Select a publication
Show	Title	Venue	Rating	Date
	Henning Makholm, J. B. Wells. Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings 2005	(0)	2005
	Henning Makholm, J. B. Wells. Type inference, principal typings, and let-polymorphism for first-class mixin modules.	Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 2005	(0)	2005
	Torben Amtoft, Henning Makholm, J. B. Wells. PolyA: True Type Polymorphism for Mobile Ambients.	Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France 2004	(0)	2004
	Henning Makholm, Konstantinos F. Sagonas. On Enabling the WAM with Region Support.	Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings 2002	(0)	2002
	Walid Taha, Henning Makholm, John Hughes. Tag Elimination and Jones-Optimality.	Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings 2001	(0)	2001
	Fritz Henglein, Henning Makholm, Henning Niss. A Direct Approach to Control-Flow Sensitive Region-Based Memory Management.	Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy 2001	(0)	2001
	Henning Makholm. A Region-Based Memory Manager for Prolog.	ISMM 2000	(0)	2000
	Henning Makholm. On Jones-Optimal Specialization for Strongly Typed Languages.	Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000	(0)	2000
	Arne J. Glenstrup, Henning Makholm, Jens P. Secher. C-MIX: Specialization of C Programs.	Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 1999	(0)	1998

Your query returned 9 matches in the database.