Static Type Checking for the Q Functional Language in Prolog

View/ Open
Metadata
Show full item record
Link to refer to this document:
Collections
- BME PA dokumentumai [3590]
- 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