Tran- sient types are sound in a shallow sense and easier to use; they help to bridge the gap between untyped code and typed concrete code. Approach We evaluate ...
確定! 回上一頁