Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language

Thumbnail
View/Open
Metadata
Show full item record
URI
http://hdl.handle.net/10890/4575
Collections
Title
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
Author
Csorba, János
Zombori, Zsolt
Szeredi, Péter
Date of issue
2011
Language
en
Identifiers
MTMT: 2681585
Title of the container document
Proceedings of the 11th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011)
Document type
egyéb konferenciaközlemény
Document genre
konferenciaközlemény