Image de couverture de livre

Formalising CRDTs in Agda

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ibrus, Marlene, Ahman, Danel
Format:	Recurso digital
Publié:	Zenodo 2025
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A simple formalization of alpha-equivalence
par: Apinis, Kalmer, et autres
Publié: (2025)

Comodule Representations of Second-Order Functionals
par: Ahman, Danel, et autres
Publié: (2024)

Sheaves as oracle computations
par: Ahman, Danel, et autres
Publié: (2026)

Higher-Order Asynchronous Effects
par: Ahman, Danel, et autres
Publié: (2023)

Strong Normalisation for Asynchronous Effects
par: Ahman, Danel, et autres
Publié: (2026)

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
par: Ljungström, Axel, et autres
Publié: (2023)

Extending JSON CRDTs with Move Operations
par: Da, Liangrun, et autres
Publié: (2023)

Holon Streaming: Global Aggregations with Windowed CRDTs
par: Spenger, Jonas, et autres
Publié: (2025)

Misquoted No More: Securely Extracting F* Programs with IO
par: Andrici, Cezar-Constantin, et autres
Publié: (2026)

Fibrations of algebras
par: Ahman, Danel, et autres
Publié: (2024)

When Agda met Vampire
par: Šinkarovs, Artjoms, et autres
Publié: (2026)

Nominal techniques as an Agda library
par: Gabbay, Murdoch J., et autres
Publié: (2026)

Towards Computational UIP in Cubical Agda
par: Tan, Yee-Jian, et autres
Publié: (2025)

A Formalization of Abstract Rewriting in Agda
par: Arkle, Sam, et autres
Publié: (2026)

Intrinsically Correct Sorting in Cubical Agda
par: Alexandru, Cass, et autres
Publié: (2024)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
par: Andrici, Cezar-Constantin, et autres
Publié: (2025)

ERA: Epoch-Resolved Arbitration for Duelling Admins in Group Management CRDTs
par: Dougal, Kegan
Publié: (2026)

The Agda standard library: version 2.0
par: Daggitt, Matthew, et autres
Publié: (2025)

The Functor of Points Approach to Schemes in Cubical Agda
par: Zeuner, Max, et autres
Publié: (2024)

Automated stance detection in complex topics and small languages: the challenging case of immigration in polarizing news media
par: Mets, Mark, et autres
Publié: (2023)

Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs
par: Frey, Davide, et autres
Publié: (2023)

A formalization of System I with type Top in Agda
par: Séttimo, Agustín, et autres
Publié: (2026)

Fundamentos de mercadotecnia / Patricia Danel
par: Danel, Patricia
Publié: (1990)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
par: Brough, Jackson
Publié: (2026)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
par: Csimma, Viktor
Publié: (2026)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
par: Wißmann, Thorsten
Publié: (2026)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
par: Siek, Jeremy G.
Publié: (2024)

Formalising the Bruhat-Tits Tree
par: Ludwig, Judith, et autres
Publié: (2025)

Formalising CXL Cache Coherence
par: Tan, Chengsong, et autres
Publié: (2024)

Formalising Inductive and Coinductive Containers
par: Damato, Stefania, et autres
Publié: (2024)

Formalising the role of behaviour in neuroscience
par: Steven T. Piantadosi, et autres
Publié: (2024)

Formalisation de l’entreprise
Publié: (2022)

Formalising recognition for GP vets
par: Josh Loeb
Publié: (2026)

Beyond Trusting Trust: Multi-Model Validation for Robust Code Generation
par: McDanel, Bradley
Publié: (2025)

Ideología y epistemología / Fernando Danel Janet
par: Danel Janet, Fernando

AMUSD: Asynchronous Multi-Device Speculative Decoding for LLM Acceleration
par: McDanel, Bradley
Publié: (2024)

Sentidos asociados a las tecnologías de la información y la comunicación en escuelas especiales
par: Paula Mara Danel
Publié: (2015)

Gubernamentalidad neoliberal: miradas desde las intervenciones del Trabajo Social en el Gran La Plata
par: Paula Mara Danel
Publié: (2020)

Endurecerse sin perder la ternura: experiencias de acompañamiento y cuidados de enfermería en pandemia
par: Paula Mara Danel
Publié: (2022)

Taming Differentiable Logics with Coq Formalisation
par: Affeldt, Reynald, et autres
Publié: (2024)