Суперкомпиляция

2020

• Development refinement type, формальная верификация в нефункцональных языках? (96 комментариев)

2014

• Development Суперкомпиляция. Почему не взлетела? (51 комментарий)

2012

• Talks META 2012 (11 комментариев)