Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language

Csorba, János [Csorba, János (Számítástudományok), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK); Zombori, Zsolt [Zombori, Zsolt (számítástudomány), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK); Szeredi, Péter [Szeredi, Péter (Logikai programozás), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK)