BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Estonia
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
J.B.Wells K.F.Sagonas F.Henglein H.Niss
Talks about:
type (4) region (3) polymorph (2) memori (2) manag (2) base (2) approach (1) support (1) special (1) process (1)

Person: Henning Makholm

DBLP DBLP: Makholm:Henning

Contributed to:

ESOP 20052005
ICFP 20052005
ICLP 20022002
PPDP 20012001
ISMM 20002000
SAIG 20002000

Wrote 6 papers:

ESOP-2005-MakholmW #calculus #mobile #polymorphism #process #reduction #type system
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close (HM, JBW), pp. 389–407.
ICFP-2005-MakholmW #mixin #morphism #type inference
Type inference, principal typings, and let-polymorphism for first-class mixin modules (HM, JBW), pp. 156–167.
ICLP-2002-MakholmS #on the
On Enabling the WAM with Region Support (HM, KFS), pp. 163–178.
PPDP-2001-HengleinMN #approach #control flow #memory management
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management (FH, HM, HN), pp. 175–186.
ISMM-2000-Makholm #memory management #prolog
A Region-Based Memory Manager for Prolog (HM), pp. 25–34.
SAIG-2000-Makholm #on the
On Jones-Optimal Specialization for Strongly Typed Languages (HM), pp. 129–148.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.