Works matching IS 09567968 AND DT 2010 AND VI 20 AND IP 3/4

Results: 6
    1

    A lightweight approach to datatype-generic rewriting.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 375, doi. 10.1017/S0956796810000183
    By:
    • NOORT, THOMAS VAN;
    • YAKUSHEV, ALEXEY RODRIGUEZ;
    • HOLDERMANS, STEFAN;
    • JEURING, JOHAN;
    • HEEREN, BASTIAAN;
    • MAGALHÃES, JOSÉ PEDRO
    Publication type:
    Article
    2
    3

    Scala for generic programmers.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 303, doi. 10.1017/S0956796810000171
    By:
    • OLIVEIRA, BRUNO C. D. S.;
    • GIBBONS, JEREMY
    Publication type:
    Article
    4

    Formal polytypic programs and proofs.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 213, doi. 10.1017/S0956796810000158
    By:
    • VERBRUGGEN, WENDY;
    • DE VRIES, EDSKO;
    • HUGHES, ARTHUR
    Publication type:
    Article
    5
    6

    Factorising folds for faster functions.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 353, doi. 10.1017/S0956796810000122
    By:
    • HUTTON, GRAHAM;
    • JASKELIOFF, MAURO;
    • GILL, ANDY
    Publication type:
    Article