This author has not been identified. It may be one of the following persons: Look up 'Benjamin C. Pierce' in GoogleThis author has not been identified. Look up 'Michael Hicks 0001' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Crista Lopes' in GoogleThis author has not been identified. Look up 'Jens Palsberg' in Google