Participant : Didier Rémy
Didier Rémy a continué ses travaux en commun avec Carl Gunter (de l'Université de Pennsylvanie) et Jon Riecke (des Laboratoires AT&T, New Jersey) sur la manipulation du contrôle dans les langages fonctionnels. La difficulté du typage de la construction callcc actuellement utilisée dans le langage SML-NJ explique aussi la difficulté de programmer avec celle-ci et montre clairement que cette construction n'est pas la bonne. En fait, une autre construction apparaît plus naturellement ; elle s'impose à la fois par une utilisation plus facile et une formalisation plus simple. Cette construction est aussi plus générale : elle permet, par exemple, d'exprimer les exceptions (sans objets mutables). Les résultats de ces travaux ont été publiés à la conférence Functional Programming and Computer Architecture en juin à San Diego [19].