Опциональная типизация для минималистичных языков программированиядоклад на конференции