Henning Makholm

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[c7]
2	Arne J. Glenstrup	[c1]
3	Fritz Henglein	[c4]
4	John Hughes	[c5]
5	Henning Niss	[c4]
6	Konstantinos F. Sagonas	[c6]
7	Jens P. Secher	[c1]
8	Walid Taha	[c5]
9	J. B. Wells	[c9] [c8] [c7]

Last update Sun May 19 18:33:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page