This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In various locations, I find three terms, "static type inference rule", and "static type rule" and "static rule". I think all three terms are synonyms. It would be better to pick one term and use it consistently. If there is a distinction, please define the terms somewhere, and supply hot links from uses to the definitions.
I believe this is editorial. - Jerome
Now uses 'static typing rules' and 'dynamic evaluation rules' consistently. - Jerome