Works matching DE "OCAML (Computer program language)"


Results: 9
    1

    Efficient Abstractions for GPGPU Programming.

    Published in:
    International Journal of Parallel Programming, 2014, v. 42, n. 4, p. 583, doi. 10.1007/s10766-013-0261-x
    By:
    • Bourgoin, Mathias;
    • Chailloux, Emmanuel;
    • Lamotte, Jean-Luc
    Publication type:
    Article
    2
    3

    Shifting the stage.

    Published in:
    Journal of Functional Programming, 2011, v. 21, n. 6, p. 617, doi. 10.1017/S0956796811000256
    By:
    • KAMEYAMA, YUKIYOSHI;
    • KISELYOV, OLEG;
    • SHAN, CHUNG-CHIEH
    Publication type:
    Article
    4

    Ott: Effective tool support for the working semanticist.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 1, p. 71, doi. 10.1017/S0956796809990293
    By:
    • Sewell, Peter;
    • Nardelli, Francesco Zappa;
    • Owens, Scott;
    • Peskine, Gilles;
    • Ridge, Thomas;
    • Sarkar, Susmit;
    • Strniša, Rok
    Publication type:
    Article
    5
    6
    7
    8
    9