Static Type Checking for the Q Functional Language in Prolog

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/4513
Collections
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