@misc{indiciaee1caabbe87bd,
  title = {Encoding Monomorphic and Polymorphic Types},
  author = {Jasmin Christian Blanchette and Sascha Böhme and Andrei Popescu and Nicholas Smallbone},
  year = {2016},
  doi = {10.2168/lmcs-12(4:13)2016},
  url = {https://arxiv.org/abs/1609.08916},
  note = {Source identifier: 1609.08916}
}