11 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 3 cited
Combinatory Adjoints and Differentiation
Martin Elsman, Fritz Henglein, Robin Kaarsgaard +2
We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on a…
cs.PL2021★ 11 cited
Certified Compilation of Financial Contracts
Danil Annenkov, Martin Elsman
We present an extension to a certified financial contract management system that allows for templated declarative financial contracts and for integration with financial stochastic…