Works matching IS 09567968 AND DT 2007 AND VI 17 AND IP 6

Results: 5
    1

    On one-pass CPS transformations.

    Published in:
    Journal of Functional Programming, 2007, v. 17, n. 6, p. 793, doi. 10.1017/S0956796807006387
    By:
    • OLIVIER DANVY;
    • KEVIN MILLIKIN;
    • LASSE R. NIELSEN
    Publication type:
    Article
    2

    Engineering Software Correctness.

    Published in:
    Journal of Functional Programming, 2007, v. 17, n. 6, p. 675, doi. 10.1017/S095679680700634X
    By:
    • REX PAGE
    Publication type:
    Article
    3
    4
    5