research
∙
06/11/2021
Union and intersection contracts are hard, actually
Union and intersection types are a staple of gradually typed language su...
share
research
∙
03/10/2021
Evaluating Linear Functions to Symmetric Monoidal Categories
A number of domain specific languages, such as circuits or data-science ...
research
∙
03/10/2021
Linear Constraints
A linear argument must be consumed exactly once in the body of its funct...
research
∙
07/18/2018
Circuits via topoi
Leveraging topos theory a semantics can be given to sequential circuits ...
research
∙
10/26/2017