Dear , I am sorry to tell you that your paper: has not been accepted for POPL'95. Attached below are the referees' reports, which I hope will give you helpful feedback. Thank you for submitting to the conference. We had 155 submissions, of which we accepted only 34, so we were forced to reject many very good and interesting papers. I hope to see you in San Francisco in January. Best wishes, Peter Lee School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213-3891 (412) 268-3049 http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/user/petel/pub/www/home.html ------------------------------------------------------------------