TY  - RPRT
TI  - Multiple-inheritance hazards in dependently-typed algebraic hierarchies
AU  - Eric Wieser
PY  - 2023
UR  - https://arxiv.org/abs/2306.00617
ID  - 2306.00617
ER  -