Author: International Workshop TYPES '94 (1994 Båstad, Sweden)