Dynamism
Dynamism is not an accidental side-effect of language choice
Need is to cleanly express the dynamism in the abstractions used to specify and implement the system
HOT (higher-order, typed) languages support this cleanly and soundly
Previous slide
Next slide
Back to first slide
View graphic version