@misc{indiciaeed46213d2568,
  title = {Galois Transformers and Modular Abstract Interpreters},
  author = {David Darais and Matthew Might and David Van Horn},
  year = {2015},
  doi = {10.1145/2814270.2814308},
  url = {https://arxiv.org/abs/1411.3962},
  note = {Source identifier: 1411.3962}
}