research
∙
07/15/2020
λ_S: Computable semantics for differentiable programming with higher-order functions and datatypes
Deep learning is moving towards increasingly sophisticated optimization ...
share
research
∙
08/20/2019
Reactive Probabilistic Programming
Synchronous reactive languages were introduced for designing and impleme...
research
∙
05/01/2018
