Approach to detecting types inconsistency errors in a program code in dynamic languages.
Proceedings of the Institute for System Programming, vol. 25, 2013, Стр. 67-84.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
DOI: 10.15514/ISPRAS-2013-25-5Full text of the paper in pdf (in Russian) Back to the contents of the volume