Bevezetés a típusrendszerek elméletébe

Összefoglaló

A típusrendszerek elmélete a számítástudomány jelenleg is intenzíven fejlôdô területe. A típusrendszerek komoly szerepet játszanak a szoftverfejlesztésben, a programok írásában és fordításában, az utóbbi idôben pedig rendkívül nagy szerepet kaptak a programnyelvek tervezésében és az elosztott, párhuzamos és sokmagos programozásban. Könyvünkkel elsôsorban a programnyelvekkel foglalkozó egyetemi hallgatók és informatikus szakemberek munkáját szeretnénk segíteni. Csörnyei Zoltán egyetemi docens, az Eötvös Loránd Tudományegyetem Informatikai Karán a Programozási Nyelvek és Fordítóprogramok Tanszék tanára.