Typy a programovací jazyky - Types and Programming Languages
Typy a programovací jazyky, ISBN 0-262-16209-1, je rezervovat podle Benjamin C. Pierce na systémy typu publikováno v roce 2002.
Recenze od Frank Pfenning nazval ji „pravděpodobně nejdůležitější knihou v oblasti programovacích jazyků v posledních letech“.[1]
Reference
- ^ Pfenning, Frank (červen 2004). "recenze Typy a programovací jazyky Benjamin C. Pierce “. Bulletin symbolické logiky. Sdružení pro symbolickou logiku. 10 (2): 213–214. doi:10.1017 / s1079898600003954. JSTOR 3176763.
externí odkazy
  | Tento článek o počítačové knize nebo sérii knih je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |