Skip to content
@ct-gradual-typing

CT Gradual Typing

Gradual Typing from a Categorical Prespective
  • Augusta University

Popular repositories Loading

  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

Repositories

Showing 4 of 4 repositories
  • Papers Public

    The Combination of Dynamic and Static Typing from a Categorical Perspective

    ct-gradual-typing/Papers’s past year of commit activity
    TeX 10 0 5 0 Updated Sep 21, 2017
  • gradual-linear-typing Public

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

    ct-gradual-typing/gradual-linear-typing’s past year of commit activity
    TeX 0 0 0 0 Updated Jun 27, 2017
  • ct-gradual-typing.github.io Public

    Webpage for CT Gradual Typing

    ct-gradual-typing/ct-gradual-typing.github.io’s past year of commit activity
    HTML 0 0 1 0 Updated Mar 27, 2017
  • Grady Public

    A Gradually Typed Functional Programming Language with Bounded Quantification

    ct-gradual-typing/Grady’s past year of commit activity
    Haskell 7 0 0 0 Updated Mar 7, 2017

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…