71 citations · 289 across the 25 of their papers we have counts for
Showing 2023 · cs.PLShow all
2 papers · 2 filters
cs.PL2023★ 2 cited
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Timon Böhler, David Richter, Mira Mezini
Automatic Differentiation (AD) has become a dominant technique in ML. AD frameworks have first been implemented for imperative languages using tapes. Meanwhile, functional implemen…
cs.PL2023★ 5 cited
LoRe: A Programming Model for Verifiably Safe Local-First Software
Julian Haas, Ragnar Mogk, Elena Yanakieva +2
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such softwa…