28 Jui
2012
28 Jui
'12
22:19
Vu sur Lambda-the-Ultimate, les auteurs de LambdaJS ont fourni une preuve validée par Coq de leur sémantique opérationnelle: http://brownplt.github.com/2012/06/04/lambdajs-coq.html Erick
Afficher les réponses par date
5113
Âge (en jours)
5113
Dernière activité (en jours)
0 commentaires
1 participants
participants (1)
-
Erick Lavoie