linear-typing
There are 1 repositories under linear-typing topic.
ct-gradual-typing/gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
There are 1 repositories under linear-typing topic.
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models