research
∙
03/02/2023
Separated and Shared Effects in Higher-Order Languages
Effectful programs interact in ways that go beyond simple input-output, ...
share
research
∙
07/13/2022
Distribution Theoretic Semantics for Non-Smooth Differentiable Programming
With the wide spread of deep learning and gradient descent inspired opti...
research
∙
01/31/2022
A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics
The usual resource interpretation of linear logic says that variables ha...
research
∙
01/28/2020