TY  - RPRT
TI  - Galois Transformers and Modular Abstract Interpreters
AU  - David Darais
AU  - Matthew Might
AU  - David Van Horn
PY  - 2015
DO  - 10.1145/2814270.2814308
UR  - https://arxiv.org/abs/1411.3962
ID  - 1411.3962
ER  -