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

Megtekintés/ Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
Gyűjtemény
- BME PA dokumentumai [3588]
- 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