Re: [SIGCIS-Members] The "type" concept in programming languages