The SCEAS System
Navigation Menu

Search the dblp DataBase


Henning Makholm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.001secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002