ct-gradual-typing/Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective

语言：TeX · GitHub 星标：11 · Fork：0

话题：categorical-model · categorical-semantics · dynamic-typing · functional-programming · gradual-typing · retracts · static-typing

在 GitHub 上查看原仓库