24 Jul
2012
24 Jul
'12
13:39
L'article est à paraître à POPL2012 et est intéressant. Je pense que Vincent y trouverait quelquechose à glaner.
Discussion sur Lambda-the-Ultimate:
http://lambda-the-ultimate.org/node/4571
Erick