Univeral machine ICFP 2006 Univeral machine. http://www.boundvariable.org Specification: http://www.boundvariable.org/um-spec.txt