BiographieHistoire de l’informatiqueDébutant
Robin Milner : ML, la preuve assistée et les langages de l’interaction
Découvrez comment Robin Milner a relié preuve assistée, langage ML, inférence de types et modèles de concurrence pour donner des fondations rigoureuses aux logiciels.
24 août 202611 minLire