32 citations · 67 across the 19 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
cs.PL2023★ 11 cited
Set-theoretic Types for Erlang
Albert Schimpf, Stefan Wehr, Annette Bieniusa
Erlang is a functional programming language with dynamic typing. The language offers great flexibility for destructing values through pattern matching and dynamic type tests. Erlan…