
71
Avec - types de données algébriques - correspondance de modèles - fermetures - inférence de type - abstractions à coût nul - sécurité de la mémoire garantie - concurrence sans courses de données - durée d'exécution minimale - liaisons C efficaces