40 citations · 98 across the 22 of their papers we have counts for
6 papers · 1 filter
Programming Backpropagation with Reverse Handlers for Arrows
Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai +1
We introduce a new programming language and its categorical semantics in order to design and implement neural networks within the framework of algebraic effects and handlers for ar…
A Categorical Framework for Program Semantics and Semantic Abstraction
Shin-ya Katsumata, Xavier Rival, Jérémy Dubut
Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation…
Divergences on Monads for Relational Program Logics
Tetsuya Sato, Shin-ya Katsumata
Several relational program logics have been introduced for integrating reasoning about relational properties of programs and measurement of quantitative difference between computat…
Probabilistic Relational Reasoning via Metrics
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu +1
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant linear type system combined with a monad-like type to express and reason about probabilistic sensitivity prope…
Approximate Span Liftings
Tetsuya Sato, Gilles Barthe, Marco Gaboardi +2
We develop new abstractions for reasoning about relaxations of differential privacy: Rényi differential privacy, zero-concentrated differential privacy, and truncated concentrated…
A Semantic Account of Metric Preservation
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu +2
Program sensitivity measures how robust a program is to small changes in its input, and is a fundamental notion in domains ranging from differential privacy to cyber-physical syste…