%0 Report
%F CCFLM06Formalism
%A Cataldo, Adam
%A Cheong, Elaine
%A Feng, Thomas Huining
%A Lee, Edward A.
%A Mihal, Andrew
%T A formalism for higher-order composition languages that satisfies the Church-Rosser property
%V UCB/EECS-2006-48
%I EECS Department, University of California, Berkeley
%D 2006
%U http://www.eecs.berkeley.edu/~tfeng/papers/formalism2006.pdf