CT Gradual Typing

Repositories

• Papers

  The Combination of Dynamic and Static Typing from a Categorical Perspective

  functional-programming dynamic-typing gradual-typing categorical-semantics retracts static-typing categorical-model
  TeX 0 10 5 0 Updated Sep 21, 2017

• gradual-linear-typing

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

  functional-programming lambda-calculus gradual-typing categorical-semantics linear-typing adjoint-model
  TeX 0 0 0 0 Updated Jun 27, 2017

• ct-gradual-typing.github.io

  Webpage for CT Gradual Typing
  HTML 0 0 1 0 Updated Mar 27, 2017

• Grady

  A Gradually Typed Functional Programming Language with Bounded Quantification

  functional-programming dynamic-typing gradual-typing categorical-semantics retracts bounded-quantification pl-implementation
  Haskell 0 7 0 0 Updated Mar 7, 2017