Works matching IS 09567968 AND DT 2012 AND VI 22 AND IP 1

Results: 5
    1
    2
    3

    CUFP 2011 Workshop Report.

    Published in:
    Journal of Functional Programming, 2012, v. 22, n. 1, p. 1, doi. 10.1017/S0956796812000020
    By:
    • MADHAVAPEDDY, ANIL;
    • MINSKY, YARON;
    • ERIKSEN, MARIUS
    Publication type:
    Article
    4
    5

    Semantic subtyping with an SMT solver.

    Published in:
    Journal of Functional Programming, 2012, v. 22, n. 1, p. 31, doi. 10.1017/S0956796812000032
    By:
    • BIERMAN, GAVIN M.;
    • GORDON, ANDREW D.;
    • HRIŢCU, CĂTĂLIN;
    • LANGWORTHY, DAVID
    Publication type:
    Article