Theoretical Computer Science 291 (2003) 351–385 www.elsevier.com/locate/tcs Speci cation languages in algebraic compilers Eric Van Wyk1 Oxford University Computing Laboratory,…
