Lambda the Ultimate

Stephen M. Watt: IBM TJ Watson Research Center (1984-1997); University of Nice/INRIA (1995-1998); University of Western Ontario (1997-date).

Programming languages, compilers, computer algebra, pen-based computing.