Présentation de l'auteur Robin Milner :

Livres publiés jusqu'à présent par Robin Milner :

Définition de la norme ML - Definition of Standard ML

Le ML standard est un langage de programmation à usage général conçu pour les grands projets. Ce livre fournit une...

Systèmes communicants et mobiles : Le calcul de Pi - Communicating and Mobile Systems: The Pi...

La communication est une partie fondamentale et...