This is the project repo whose goal is the study of gradual typing using categorical models as the driving force.
The Combination of Dynamic and Static Typing from a Categorical Perspective
This is the project repo whose goal is the study of gradual typing using categorical models as the driving force.
The Combination of Dynamic and Static Typing from a Categorical Perspective