Static Type Checking for the Q Functional Language in Prolog

Title: Static Type Checking for the Q Functional Language in Prolog
Author: Zombori, Zsolt; Csorba, János; Szeredi, Péter
Date of issue: 2011
Publisher: Schloss Dagstuhl Leibniz-Zentrum für Informatik
Language: en
Identifiers: MTMT: 2676313
Title of the container document: 27th International Conference on Logic Programming (ICLP'11)
ISBN, e-ISBN: 978-3-939897-31-6
Document type: könyvrészlet
Document genre: konferenciaközlemény