Participant : Benjamin Goldberg
Benjamin Goldberg a poursuivi ses investigations des systèmes de types pour la programmation à grande échelle. Dans [40], ses co-auteurs et lui-même décrivent un système de types avec polymorphisme borné pour le langage Griffin. Griffin est conçu pour prototyper de gros logiciels, et son système de types est destiné à aider les programmeurs à construire de tels systèmes.