Works matching IS 09567968 AND DT 2011 AND VI 21 AND IP 4/5

Results: 7
    1
    2
    3
    4
    5

    Non-parametric parametricity.

    Published in:
    Journal of Functional Programming, 2011, v. 21, n. 4/5, p. 497, doi. 10.1017/S0956796811000165
    By:
    • NEIS, GEORG;
    • DREYER, DEREK;
    • ROSSBERG, ANDREAS
    Publication type:
    Article
    6
    7

    Causal commutative arrows.

    Published in:
    Journal of Functional Programming, 2011, v. 21, n. 4/5, p. 467, doi. 10.1017/S0956796811000153
    By:
    • LIU, HAI;
    • CHENG, ERIC;
    • HUDAK, PAUL
    Publication type:
    Article