Union and intersection types are a staple of gradually typed language su...
A number of domain specific languages, such as circuits or data-science
...
A linear argument must be consumed exactly once in the body of its funct...
Leveraging topos theory a semantics can be given to sequential circuits ...
Linear type systems have a long and storied history, but not a clear pat...