Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
128687.pdf (171.3Kb)
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/4575
Collections
  • BME PA dokumentumai [3590]
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

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV