TY  - RPRT
TI  - Lucretia - a type system for objects in languages with reflection
AU  - Viviana Bono
AU  - Marcin Benke
AU  - Aleksy Schubert
PY  - 2012
UR  - https://arxiv.org/abs/1206.5112
ID  - 1206.5112
ER  -