Types and Programming Languages av Benjamin C. (Professor University of Pennsylvania) Pierce

Boken "Types and Programming Languages" av Benjamin C. Pierce tilbyr en grundig innføring i type systemer og programmeringsspråk. Et type system fungerer som en syntaktisk metode for automatisk å sjekke fraværet av visse feilaktige atferder ved å klassifisere programuttrykk i henhold til hvilke typer verdier de beregner. Studiet av type systemer - samt programmeringsspråk fra et type-teoretisk perspektiv - har viktige anvendelser innen programvareutvikling, språkdannelse, høyytelses kompilatorer og sikkerhet. Teksten gir en omfattende introduksjon både til type systemer i datavitenskap og til grunnleggende teori om programmeringsspråk. Tilnærmingen er pragmatisk og operasjonell; hvert nytt konsept blir motivert av programmeringseksempler, og de mer teoretiske seksjonene drives av implementeringsbehov. Hver kapittel er ledsaget av et tyvetall øvelser og løsninger, samt en pågående implementering som er tilgjengelig på nettet. Avhengigheter mellom kapitlene er tydelig identifisert, noe som gir leserne muligheten til å velge mellom ulike læringsveier.