Advanced Topics in Types and Programming Languages

Boken "Advanced Topics in Types and Programming Languages" gir en grundig og tilgjengelig innføring i viktige konsepter knyttet til typesystemer for programmeringsspråk. Studiet av disse systemene berører nå mange områder innen datavitenskap, inkludert språkdesign og implementering, programvareutvikling, nettverkssikkerhet, databaser, samt analyse av samtidige og distribuerte systemer. Denne boken tilbyr lettfattelige introduksjoner til sentrale ideer i feltet, med bidrag fra eksperter innen hvert enkelt tema. Blant emnene som dekkes, finner vi presise typeanalyser, som utvider enkle typesystemer for å gi bedre oversikt over systemers kjøretidsatferd; typesystemer for lavnivåspråk; anvendelser av typer for resonnering om dataprogrammer; type teori som et rammeverk for design av sofistikerte modulære systemer; samt avanserte teknikker innen ML-lignende typeinferens. "Advanced Topics in Types and Programming Languages" bygger videre på Benjamin Pierces tidligere verk, "Types and Programming Languages" (MIT Press, 2002), og mange av kapitlene gir en dypere forståelse av emnene introdusert i dette grunnleggende verket.