Re: [Haskell-cafe] Nico de Bruijn dies at 93

20 Feb 2012


      More:
http://translate.google.com/translate?sl=nl&tl=en&u=http%3A%2F%2Fweb.tue.nl%...

Background:
http://en.wikipedia.org/wiki/Nicolaas_Govert_de_Bruijn

Re: [Haskell-cafe] Nico de Bruijn dies at 93

Sean Leather