Static Type Checking for the Q Functional Language in Prolog - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zsolt Zombori, János Csorba, Péter Szeredi. Static Type Checking for the Q Functional Language in Prolog. In John P. Gallagher, Michael Gelfond, editors, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. Volume 11 of LIPIcs, pages 62-72, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

This author has not been identified. Look up 'Zsolt Zombori' in GoogleThis author has not been identified. Look up 'János Csorba' in GoogleThis author has not been identified. Look up 'Péter Szeredi' in Google

runs on WebDSL