Static Type Checking for the Q Functional Language in Prolog. - Zsolt Zombori; János Csorba; Péter Szeredi (ICLP (Technical Communications), 2011)

Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language - János Csorba; Zsolt Zombori; Péter Szeredi (CoRR, 2011)

Static Type Inference for the Q language using Constraint Logic Programming. - Zsolt Zombori; János Csorba; Péter Szeredi (ICLP (Technical Communications), 2012)