Static Type Checking for the Q Functional Language in Prolog
Date
Type
könyvrészlet
Publisher
Schloss Dagstuhl Leibniz-Zentrum für Informatik
ISBN, e-ISBN
978-3-939897-31-6
Container Title
27th International Conference on Logic Programming (ICLP'11)
Gender
konferenciaközlemény