ct-gradual-typing/Grady ct-gradual-typing/Grady

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Haskell
  • License
    Other
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ct-gradual-typing/Grady
github

ct-gradual-typing

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Gradually Typed Functional Programming Language with Bounded Quantification

More Repositories

1

Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
TeX
10
star