Former Members of WG2.8

• David Wise
• John Darlington
• Jon Fairbairn
• John Mitchell
• Mads Tofte, tofte@diku.dk
• Luca Cardelli, luca@luca.demon.co.uk
• Fritz Henglein, henglein@diku.dk
• Alex Aiken, aiken@cs.berkeley.edu