Henning Makholm (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

9 Henning Makholm, J. B. Wells: Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. ESOP 2005: 389-407

8 Henning Makholm, J. B. Wells: Type inference, principal typings, and let-polymorphism for first-class mixin modules. ICFP 2005: 156-167

7 Torben Amtoft, Henning Makholm, J. B. Wells: PolyA: True Type Polymorphism for Mobile Ambients. IFIP TCS 2004: 591604

Selection of 3 from 9 records - Henning Makholm has 9 coauthors

9		Henning Makholm, J. B. Wells: Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. ESOP 2005: 389-407
8		Henning Makholm, J. B. Wells: Type inference, principal typings, and let-polymorphism for first-class mixin modules. ICFP 2005: 156-167
7		Torben Amtoft, Henning Makholm, J. B. Wells: PolyA: True Type Polymorphism for Mobile Ambients. IFIP TCS 2004: 591604