Popular repositories

1. Papers Papers Public

   The Combination of Dynamic and Static Typing from a Categorical Perspective

   TeX 10

2. Grady Grady Public

   A Gradually Typed Functional Programming Language with Bounded Quantification

   Haskell 7

3. ct-gradual-typing.github.io ct-gradual-typing.github.io Public

   Webpage for CT Gradual Typing

   HTML

4. gradual-linear-typing gradual-linear-typing Public

   Mixed Gradual and Linear Typing for Functional Languages: Terms and Models

   TeX