Lucretia - intersection type polymorphism for scripting languages

@inproceedings{DBLP:journals/corr/BenkeBS15,
  author       = {Marcin Benke and
                  Viviana Bono and
                  Aleksy Schubert},
  editor       = {Jakob Rehof},
  title        = {Lucretia - intersection type polymorphism for scripting languages},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {65--78},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.6},
  doi          = {10.4204/EPTCS.177.6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BenkeBS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}