Intensional Type Analysis
Valuable element of type-directed compilers
Allows otherwise untypeable optimizations
Specialized data layout
Tag-free Garbage Collection
Polymorphic marshalling
...
Previous slide
Next slide
Back to first slide
View graphic version