iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: http://github.com/topics/linear-typing

linear-typing · GitHub Topics · GitHub

#

linear-typing

Here is 1 public repository matching this topic...

ct-gradual-typing / 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

Updated Jun 27, 2017
TeX

Improve this page

Add a description, image, and links to the linear-typing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the linear-typing topic, visit your repo's landing page and select "manage topics."