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…