2 papers
cs.LO2015
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…
cs.PL2012
Lucretia - a type system for objects in languages with reflection
Viviana Bono, Marcin Benke, Aleksy Schubert
Object-oriented scripting languages such as JavaScript or Python gain in popularity due to their flexibility. Still, the growing code bases written in the languages call for method…