Lasp-Reference-Cited by-同舟云学术

Lasp

Published:2015-07-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Meiklejohn Christopher¹,Van Roy Peter²

Affiliation:

1. Basho Technologies, Inc.

2. Université catholique de Louvain

Funder

European Union Seventh Framework Programme

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2790449.2790525

Reference35 articles.

1. Lasp source code repository. https://github.com/lasp-lang/lasp. Accessed: 2015-06-14. Lasp source code repository. https://github.com/lasp-lang/lasp. Accessed: 2015-06-14.

2. Riak DT source code repository. https://github.com/basho/riak_dt. Accessed: 2015-03-30. Riak DT source code repository. https://github.com/basho/riak_dt. Accessed: 2015-03-30.

3. 263 Million Monthly Active Users In December. http://www.rovio.com/en/news/blog/261/263-million-monthly-active-users-in-december/. Accessed: 2015-02-13. 263 Million Monthly Active Users In December. http://www.rovio.com/en/news/blog/261/263-million-monthly-active-users-in-december/. Accessed: 2015-02-13.

4. SyncFree: Large-scale computation without synchronisation. https://syncfree.lip6.fr. Accessed: 2015-02-13. SyncFree: Large-scale computation without synchronisation. https://syncfree.lip6.fr. Accessed: 2015-02-13.

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. LoRe: A Programming Model for Verifiably Safe Local-first Software;ACM Transactions on Programming Languages and Systems;2024-01-15

2. Invited Paper: Initial Steps Toward a Compiler for Distributed Programs;Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems;2023-06-19

3. Keep CALM and CRDT On;Proceedings of the VLDB Endowment;2022-12

4. Real-time collaborative multi-level modeling by conflict-free replicated data types;Software and Systems Modeling;2022-11-01

5. Katara: synthesizing CRDTs with verified lifting;Proceedings of the ACM on Programming Languages;2022-10-31