Lambda the Ultimate

Tom is a programming languages researcher at Carnegie Mellon University, who likes to rock.

Modal logic, typed functional programming, 8-bit counterpoint, running, experimental prose, oatmeal stout, compressive art movements, bitter greens, music technology, puzzle games, Cadd9