| dc.contributor.author | Stuckey, PJ | |
| dc.contributor.author | Sulzmann, M | |
| dc.contributor.author | Wazny, J | |
| dc.contributor.editor | Kobayashi, N | |
| dc.date.available | 2014-05-21T23:04:29Z | |
| dc.date.issued | 2006-01-01 | |
| dc.identifier | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000243130400001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c | |
| dc.identifier.citation | 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. | |
| dc.identifier.isbn | 3-540-48937-1 | |
| dc.identifier.isbn | 9783540489375 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/11343/29425 | |
| dc.language | English | |
| dc.publisher | SPRINGER-VERLAG BERLIN | |
| dc.source | 4th Asian Symposium on Programming Languages and Systems | |
| dc.subject | Computer Software | |
| dc.title | Type processing by constraint reasoning | |
| dc.type | Conference Paper | |
| dc.identifier.doi | 10.1007/11924661_1 | |
| melbourne.peerreview | Peer Reviewed | |
| melbourne.affiliation | The University of Melbourne | |
| melbourne.affiliation.department | Computer Science and Software Engineering | |
| melbourne.source.title | Lecture Notes in Computer Science | |
| melbourne.source.volume | 4279 | |
| melbourne.source.pages | 1-+ | |
| melbourne.publicationid | 56142 | |
| melbourne.elementsid | 279973 | |
| melbourne.contributor.author | Stuckey, Peter | |
| melbourne.contributor.author | WAZNY, JEREMY RICHARD | |
| dc.identifier.eissn | 1611-3349 | |
| melbourne.event.location | Sydney, AUSTRALIA | |
| melbourne.accessrights | This item is currently not available from this repository | |
