chrisjpurdy/distr-laws-of-monadic-containers

Purdy, Chris; Damato, Stefania

doi:10.4230/artifacts.24062

Artifact

chrisjpurdy/distr-laws-of-monadic-containers Software

Authors Chris Purdy , Stefania Damato

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-07-28

Document Identifiers

DOI: 10.4230/artifacts.24062
URN: urn:nbn:de:0030-drops-240625

Author Details

Chris Purdy

Royal Holloway University of London, Egham, UK

Stefania Damato

School of Computer Science, University of Nottingham, UK

Content

Software (Source Code): https://github.com/chrisjpurdy/distr-laws-of-monadic-containers
archived version

Version/Status

Content created at: 2025-03-12
Status: Inactive (at the time of publication 2025-07-28)

Cite As Get BibTex

Chris Purdy, Stefania Damato. chrisjpurdy/distr-laws-of-monadic-containers (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24062

Description

A formalisation in Cubical Agda of various definitions, constructions and lemmas from the paper "Distributive Laws of Monadic Containers" by Chris Purdy and Stefania Damato.

Subject Classification

Programming Languages

Agda

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail