"Erik Meijer"@cs .