Théophile 'yroeht' Ranquet nous présente (en français) des points avancés d'OCaml et de programmation fonctionnelle : typage, implémentation du compilateur, correspondance preuves-programmes… Un mélange savant et intéressant pour mieux comprendre OCaml.
Commentaires
Vous devez
vous inscrire
ou
vous connecter
pour poster un commentaire