Je profite de ce journal pour demander l'avis de ceux qui ont lu "Types and Programming Languages" de Benjamin C. Pierce. Il a l'air d'être une référence en informatique théorique, et j'aimerais avoir quelques avis dessus, si certains d'entre vous l'ont lu.
# Conseils sur un bouquin plus théorique
Posté par benoar . En réponse au journal Vos livres d'informatique préférés.... Évalué à 2.