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

Thumbnail
Megtekintés/Megnyitás
Metadata
Teljes megjelenítés
URI
http://hdl.handle.net/10890/4575
Collections
Cím és alcím
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
Szerző
Csorba, János
Zombori, Zsolt
Szeredi, Péter
Megjelenés ideje
2011
Nyelv
en
Egyéb azonosítók
MTMT: 2681585
A cikket/könyvrészletet tartalmazó dokumentum címe
Proceedings of the 11th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011)
Dokumentumtípus
egyéb konferenciaközlemény
Műfaj
konferenciaközlemény