Graded Modal Type Theory for Pulse Schedules

Adams, Robin; Bernardy, Jean-Philippe; Perticone, Lorenzo; Pope, Jeremy

doi:10.4230/artifacts.27329

Artifact

Graded Modal Type Theory for Pulse Schedules Software

Authors Robin Adams , Jean-Philippe Bernardy , Lorenzo Perticone , Jeremy Pope

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-30

Document Identifiers

DOI: 10.4230/artifacts.27329
URN: urn:nbn:de:0030-drops-273296

Author Details

Robin Adams

Chalmers University of Technology, Gothenburg, Sweden
University of Gothenburg, Sweden

Jean-Philippe Bernardy

Chalmers University of Technology, Gothenburg, Sweden
University of Gothenburg, Sweden

Lorenzo Perticone

Chalmers University of Technology, Gothenburg, Sweden
University of Gothenburg, Sweden

Jeremy Pope

Chalmers University of Technology, Gothenburg, Sweden
University of Gothenburg, Sweden

Content

Software (Source Code): https://codeberg.org/radams78/grampus.git
archived version

Version/Status

Content created at: 2025-12-06

Cite As Get BibTex

Robin Adams, Jean-Philippe Bernardy, Lorenzo Perticone, Jeremy Pope. Graded Modal Type Theory for Pulse Schedules (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27329

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

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