TY  - RPRT
TI  - Combining dependency, grades, and adjoint logic
AU  - Peter Hanukaev
AU  - Harley Eades III
PY  - 2023
DO  - 10.1145/3609027.3609408
UR  - https://arxiv.org/abs/2307.09563
ID  - 2307.09563
ER  -