Search Results - "Mogk, Ragnar"

LoRe: A Programming Model for Verifiably Safe Local-first Software.

Authors: Haas, Julian Mogk, Ragnar Yanakieva, Elena et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-26, 26p