Olivier Danvy Dirk Dussart Carsten K. Gomard Neil D. Jones Jesper Jørgensen Torben Æ. Mogensen Jens Palsberg