56,966 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a07df2-8a38-737b-8213-32f741cae619

“CRDT Emulation, Simulation, and Representation Independence” will appear at ICFP 2025

Lindsey Kuper · published 29 June 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at decomposition.al Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 13
Words captured: 749

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://icfp25.sigplan.org/details/icfp-2025-papers/24/CRDT-Emulation-Simulation-and-Representation-Independence

icfp25.sigplan.org

https://nliittsc.github.io/

nliittsc.github.io

https://jonathan.com/

jonathan.com

https://www.steliostsampas.com/

steliostsampas.com

https://arxiv.org/abs/2504.05398

arxiv.org

https://dl.acm.org/doi/10.1145/3747528

dl.acm.org

https://en.wikipedia.org/wiki/Conflict-free_replicated_data_type

en.wikipedia.org

https://pages.lip6.fr/Marc.Shapiro/papers/RR-7687.pdf

pages.lip6.fr

https://link.springer.com/chapter/10.1007/978-3-030-25543-5_26

link.springer.com

https://dl.acm.org/doi/10.1145/3563336

dl.acm.org

https://popl23.sigplan.org/details/POPL-2023-student-research-competition/12/A-Formalization-of-Observational-Equivalence-in-Message-Passing-Protocols

popl23.sigplan.org

https://dl.acm.org/doi/abs/10.1145/3341689

dl.acm.org

https://www.khoury.northeastern.edu/home/amal/

khoury.northeastern.edu