@misc{indiciaefb4110f47acc,
  title = {Semantic subtyping for non-strict languages},
  author = {Tommaso Petrucciani and Giuseppe Castagna and Davide Ancona and Elena Zucca},
  year = {2018},
  doi = {10.4230/lipics.types.2018.4},
  url = {https://arxiv.org/abs/1810.05555},
  note = {Source identifier: 1810.05555}
}