|
|
|
|
|
|
by kd0amg
2701 days ago
|
|
|
That is a "soundness theorem" and maybe even a "[static] type soundness" theorem (if you like the word "unityped"), but the point is that's not really saying anything about conclusions drawn by the classification of values into dynamic types. |
|
|