TY  - RPRT
TI  - A Graded Modal Type Theory for Pulse Schedules
AU  - Robin Adams
AU  - Jean-Philippe Bernardy
AU  - Lorenzo Perticone
AU  - Jeremy Pope
PY  - 2026
UR  - https://arxiv.org/abs/2510.03130
ID  - 2510.03130
ER  -