search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

Implement Polymorphism #37

Closed heades closed 7 years ago

heades commented 7 years ago

I have written up a section on how to extend Grady with polymorphism. We should add this to our implementation.