TY  - RPRT
TI  - Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
AU  - János Csorba
AU  - Zsolt Zombori
AU  - Péter Szeredi
PY  - 2011
UR  - https://arxiv.org/abs/1112.3784
ID  - 1112.3784
ER  -