Author: ACM SIGPLAN  Workshop on ML (2006 Portland, Ore.)