ct-gradual-typing/Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective

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.