Works matching IS 09567968 AND DT 2002 AND VI 12 AND IP 6

Results: 6
    1
    2
    3
    4

    The countdown problem.

    Published in:
    Journal of Functional Programming, 2002, v. 12, n. 6, p. 609, doi. 10.1017/s0956796801004300
    By:
    • Hutton, Graham
    Publication type:
    Article
    5

    The lambda calculus is algebraic.

    Published in:
    Journal of Functional Programming, 2002, v. 12, n. 6, p. 549, doi. 10.1017/s0956796801004294
    By:
    • Selinger, Peter
    Publication type:
    Article
    6

    Recursive subtyping revealed.

    Published in:
    Journal of Functional Programming, 2002, v. 12, n. 6, p. 511, doi. 10.1017/s0956796802004318
    By:
    • Gapeyev, Vladimir;
    • Levin, Michael Y.;
    • Pierce, Benjamin C.
    Publication type:
    Article