TY  - RPRT
TI  - Flexible Instruction-Set Semantics via Type Classes
AU  - Thomas Bourgeat
AU  - Ian Clester
AU  - Andres Erbsen
AU  - Samuel Gruetter
AU  - Pratap Singh
AU  - Andrew Wright
AU  - Adam Chlipala
PY  - 2022
UR  - https://arxiv.org/abs/2104.00762
ID  - 2104.00762
ER  -