Author: TYPES '95 (1995 Turin, Italy)