Alley Stoughton research computer scientist, specializing in functional programming, programming language semantics, logic and formal language theory contact • work • teaching • research • software • c.v. • resources • cultural studies • personal