TIC 2000 (2000 Montréal, Québec)

• Types in compilation