Works matching IS 09567968 AND DT 2003 AND VI 13 AND IP 4


Results: 10
    1
    2
    3
    4
    5
    6
    7

    On bunched typing.

    Published in:
    Journal of Functional Programming, 2003, v. 13, n. 4, p. 747, doi. 10.1017/s0956796802004495
    By:
    • PETER O'HEARN
    Publication type:
    Article
    8
    9
    10

    Short cut fusion is correct.

    Published in:
    Journal of Functional Programming, 2003, v. 13, n. 4, p. 797, doi. 10.1017/s0956796802004409
    By:
    • PATRICIA JOHANN
    Publication type:
    Article