Type processing by constraint reasoning
Author
Stuckey, PJ; Sulzmann, M; Wazny, JEditor
Kobayashi, NDate
2006-01-01Source Title
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGSPublisher
SPRINGER-VERLAG BERLINAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperCitations
Stuckey, P. J., Sulzmann, M. & Wazny, J. (2006). Type processing by constraint reasoning. Kobayashi, N (Ed.) PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 4279, pp.1-+. SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/11924661_1.Access Status
This item is currently not available from this repositoryKeywords
Computer SoftwareExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References