chrisjpurdy/distr-laws-of-monadic-containers HTML rendering

Purdy, Chris; Damato, Stefania

doi:10.4230/artifacts.24064

Artifact

chrisjpurdy/distr-laws-of-monadic-containers HTML rendering 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.24064
URN: urn:nbn:de:0030-drops-240647

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://stefaniatadama.com/distr-law-mnd-cont-html/

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 HTML rendering (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24064

Description

An HTML rendering of the code found at https://github.com/chrisjpurdy/distr-laws-of-monadic-containers/

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