Lucretia - intersection type polymorphism for scripting languages

Marcin Benke, Viviana Bono, Aleksy Schubert

Scripting code may present maintenance problems in the long run. There is, then, the call for methodologies that make it possible to control the properties of programs written in d…