Typer och programmeringsspråk

Typer and Programming Languages , ISBN 0-262-16209-1 , är en bok av Benjamin C. Pierce om typsystem publicerad 2002.

En recension av Frank Pfenning kallade den "förmodligen den enskilt viktigaste boken inom området programmeringsspråk under de senaste åren."

externa länkar