HM(X) type inference is CLP(X) solving

    Thumbnail
    Citations
    Scopus
    Web of Science
    Altmetric
    12
    6
    Author
    Sulzmann, M; Stuckey, PJ
    Date
    2008-03-01
    Source Title
    JOURNAL OF FUNCTIONAL PROGRAMMING
    Publisher
    CAMBRIDGE UNIV PRESS
    University of Melbourne Author/s
    Stuckey, Peter
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Journal Article
    Citations
    Sulzmann, M. & Stuckey, P. J. (2008). HM(X) type inference is CLP(X) solving. JOURNAL OF FUNCTIONAL PROGRAMMING, 18 (2), pp.251-283. https://doi.org/10.1017/S0956796807006569.
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/29394
    DOI
    10.1017/S0956796807006569
    Keywords
    Computer Software

    Export Reference in RIS Format     

    Collections