This paper provides a formal model of the Typed Clojure type system incorporating these and other features, with a proof of soundness, and presents a ...
確定! 回上一頁