@misc{munchmaccagnoni-2018-resource,
  author = {Guillaume Munch-Maccagnoni},
  title = {Resource Polymorphism},
  year = {2018},
  month = {3},
  eprint = {1803.02796},
  archiveprefix = {arXiv}
}