Works matching IS 09567968 AND DT 2012 AND VI 22 AND IP 2

Results: 7
    1
    2
    3

    Macros that Work Together.

    Published in:
    Journal of Functional Programming, 2012, v. 22, n. 2, p. 181, doi. 10.1017/S0956796812000093
    By:
    • FLATT, MATTHEW;
    • CULPEPPER, RYAN;
    • DARAIS, DAVID;
    • FINDLER, ROBERT BRUCE
    Publication type:
    Article
    4
    5
    6

    Proofs for free.

    Published in:
    Journal of Functional Programming, 2012, v. 22, n. 2, p. 107, doi. 10.1017/S0956796812000056
    By:
    • BERNARDY, JEAN-PHILIPPE;
    • JANSSON, PATRIK;
    • PATERSON, ROSS
    Publication type:
    Article
    7