Static Type Inference as a Constraint Satisfaction Problem

View/ Open
Metadata
Show full item recordCollections
- BME PA dokumentumai [3731]
- Title
- Static Type Inference as a Constraint Satisfaction Problem
- Author
- Zombori, Zsolt
- Csorba, János
- Szeredi, Péter
- Date of issue
- 2012
- Language
- en
- Identifiers
- MTMT: 2684965
- Title of the container document
- Proceedings of the TAMOP PhD Workshop
- Document type
- egyéb konferenciaközlemény
- Document genre
- konferenciaközlemény