CT Gradual Typing

Gradual Typing from a Categorical Prespective

Augusta University

Pinned Repositories

ct-gradual-typing.github.io
Webpage for CT Gradual Typing
Language:HTML0 3 10
gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Language:TeX0 3 00
Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
Language:Haskell7 5 00
Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
Language:TeX10 4 570

CT Gradual Typing's Repositories

ct-gradual-typing/Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
Language:TeX10 4 570
ct-gradual-typing/Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
Language:Haskell7 5 00
ct-gradual-typing/ct-gradual-typing.github.io
Webpage for CT Gradual Typing
Language:HTML0 3 10
ct-gradual-typing/gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Language:TeX0 3 00