Deriving Compilers from Monadic Semantics," Unpublished manuscript available at http://wwwsal. cs.uiuc.edu/~harrison/pubs/proposal.ps.Z (0)

by W Harrison, S Kamin