Type processing by constraint reasoning

    Thumbnail
    Citations
    Scopus
    Altmetric
    9
    Author
    Stuckey, PJ; Sulzmann, M; Wazny, J
    Date
    2006-01-01
    Source Title
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS
    Publisher
    SPRINGER-VERLAG BERLIN
    University of Melbourne Author/s
    Stuckey, Peter; WAZNY, JEREMY RICHARD
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    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 repository
    URI
    http://hdl.handle.net/11343/29425
    DOI
    10.1007/11924661_1
    Keywords
    Computer Software

    Export Reference in RIS Format     

    Collections