Static Type Checking for the Q Functional Language in Prolog

Cím és alcím: Static Type Checking for the Q Functional Language in Prolog
Szerző: Zombori, Zsolt; Csorba, János; Szeredi, Péter
Megjelenés ideje: 2011
Kiadó: Schloss Dagstuhl Leibniz-Zentrum für Informatik
Nyelv: en
Egyéb azonosítók: MTMT: 2676313
A cikket/könyvrészletet tartalmazó dokumentum címe: 27th International Conference on Logic Programming (ICLP'11)
ISBN, e-ISBN: 978-3-939897-31-6
Dokumentumtípus: könyvrészlet
Műfaj: konferenciaközlemény