Works matching IS 09567968 AND DT 2009 AND VI 19 AND IP 3/4

Results: 9
    1

    Algebras for combinatorial search.

    Published in:
    Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 469, doi. 10.1017/S0956796809007321
    By:
    • Spivey, J. Michael
    Publication type:
    Article
    2
    3

    Categorical semantics for arrows.

    Published in:
    Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 403, doi. 10.1017/S0956796809007308
    By:
    • Jacobs, Bart;
    • Heunen, Chris;
    • Hasuo, Ichiro
    Publication type:
    Article
    4

    The essence of the ITERATOR pattern.

    Published in:
    Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 377, doi. 10.1017/S0956796809007291
    By:
    • Gibbons, Jeremy;
    • Oliveira, Bruno C. d. S.
    Publication type:
    Article
    5
    6

    Big-step normalisation.

    Published in:
    Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 311, doi. 10.1017/S0956796809007278
    By:
    • Altenkirch, Thorsten;
    • Chapman, James
    Publication type:
    Article
    7
    8
    9

    Preface.

    Published in:
    Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 263, doi. 10.1017/S0956796809007242
    By:
    • McBride, Conor;
    • Uustalu, Tarmo
    Publication type:
    Article