Searching for authors named Henning Makholm – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
MiXIMUM - A simpler and more liberal type specializer
- …MiXIMUM A simpler and more liberal type specializer Henning Makholm henning@makholm.net March 5…
- Add To MetaCart
-
A region-based memory manager for Prolog
- … National Science Research Council via project PLT (Programming Language Technology) Henning Makholm y DIKU…
- Cited by 12 (3 self) – Add To MetaCart
-
On Jones-optimal specialization for strongly typed languages
- …On Jones-Optimal Specialization for Strongly Typed Languages Henning Makholm ? DIKU, University…
- Cited by 19 (2 self) – Add To MetaCart
-
A region-based memory manager for Prolog
- …A region-based memory manager for Prolog Henning Makholm y DIKU, University of Copenhagen…
- Add To MetaCart
-
Tag elimination – or – type specialisation is a type-indexed effect
- …Tag Elimination { or { Type Specialisation is a Type-Indexed E ect Walid Taha ? , Henning Makholm…
- Cited by 10 (6 self) – Add To MetaCart
-
On Enabling the WAM with Region Support
- …On Enabling the WAM with Region Support Henning Makholm 1 and Konstantinos Sagonas 2 1 DIKU…
- Cited by 5 (0 self) – Add To MetaCart
-
Type inference and principal typings for symmetric record concatenation and mixin modules
- … ⋆ Henning Makholm and J. B. Wells Heriot-Watt University Abstract. The obvious simple type system for a λ…
- Cited by 2 (0 self) – Add To MetaCart
-
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
- … ⋆ Henning Makholm and J. B. Wells Heriot-Watt University Abstract. Many different mobile process calculi…
- Cited by 4 (0 self) – Add To MetaCart
-
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management
- … The IT University of Copenhagen DENMARK henglein@(email omitted); Henning Makholm Dept. of Computer Science University…
- Cited by 26 (1 self) – Add To MetaCart
-
Type Inference for PolyA
- …Type Inference for PolyA Henning Makholm http://www.macs.hw.ac.uk/~makholm/ Heriot-Watt University…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
