Rodzaje i Języki programowania -Types and Programming Languages

Rodzaje i języków programowania , ISBN  0-262-16209-1 , to książka o Benjamin C. Pierce na systemach typu opublikowany w 2002 roku.

Przegląd przez Franka Pfenning nazwał go „prawdopodobnie najważniejszą książkę w dziedzinie języków programowania w ostatnich latach.”

Referencje

Linki zewnętrzne