Covering letter to A.P. Ershov, submission of the paper "A formal type system for comparing partial evaluators" to the program of the Workshop Date: 03.06.1987 Original document language: English Authors: Flemming Nielson Addressee: Andrei Petrovich Ershov