К системе типов языков семейства Рефал для промежуточного представления программтезисы доклада