Works matching IS 09567968 AND DT 2008 AND VI 18 AND IP 1

Results: 4
    1
    2
    3

    Efficient execution in an automated reasoning environment.

    Published in:
    Journal of Functional Programming, 2008, v. 18, n. 1, p. 15, doi. 10.1017/S0956796807006338
    By:
    • DAVID A. GREVE;
    • MATT KAUFMANN;
    • PANAGIOTIS MANOLIOS;
    • J STROTHER MOORE;
    • SANDIP RAY;
    • JOS? LUIS RUIZ-REINA;
    • ROB SUMNERS;
    • DARON VROON;
    • MATTHEW WILDING
    Publication type:
    Article
    4

    Applicative programming with effects.

    Published in:
    Journal of Functional Programming, 2008, v. 18, n. 1, p. 1, doi. 10.1017/S0956796807006326
    By:
    • CONOR MCBRIDE;
    • ROSS PATERSON
    Publication type:
    Article