of programs than ML. We have also developed an algorithm for frugally inserting run-time checks in programs that do not type check.
No takes yet. Share an insight, caveat, or question.
Cartwright et al. (1991) studied this question.