Mono Types – First-Class Containers for Datalog

Xu, Runqing; Klopp, David; Erdweg, Sebastian

doi:10.4230/artifacts.23600

Artifact

Mono Types – First-Class Containers for Datalog Software

Authors Runqing Xu , David Klopp , Sebastian Erdweg

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-06-25

Document Identifiers

DOI: 10.4230/artifacts.23600
URN: urn:nbn:de:0030-drops-236008

Author Details

Runqing Xu

JGU Mainz, Germany

David Klopp

JGU Mainz, Germany

Sebastian Erdweg

JGU Mainz, Germany

Content

Software (Source Code): https://gitlab.rlp.net/plmz/artifacts/mono-types-ecoop25

Version/Status

Content created at: 2025-04-23

Cite As Get BibTex

Runqing Xu, David Klopp, Sebastian Erdweg. Mono Types – First-Class Containers for Datalog (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23600

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail