项目作者： ct-gradual-typing
项目描述 ：
The Combination of Dynamic and Static Typing from a Categorical Perspective
高级语言： TeX
项目地址: git://github.com/ct-gradual-typing/Papers.git
Gradual Typing from a Categorical Prespective
This is the project repo whose goal is the study of gradual typing using categorical models as the driving force.
