Vers un ErlAng typé ? Fabien Dagnat 30 janvier 2002 Résumé ...

30 janv. 2002 ... Celui-ci consiste en l'inférence de type sur un programme et en la .... de plus amples informations sur ERlang au livre de Armstrong et al. 2.


Un extrait du document