28 Jui
2012
28 Jui
'12
18: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
4530
Age (days ago)
4530
Last active (days ago)
0 commentaires
1 participants
participants (1)
-
Erick Lavoie