Works matching IS 09567968 AND DT 2006 AND VI 16 AND IP 6

Results: 6
    1
    2

    Featherweight generic confinement.

    Published in:
    Journal of Functional Programming, 2006, v. 16, n. 6, p. 793, doi. 10.1017/s0956796806006125
    By:
    • ALEX POTANIN;
    • JAMES NOBLE;
    • DAVE CLARKE;
    • ROBERT BIDDLE
    Publication type:
    Article
    3
    4

    Phantom types and subtyping.

    Published in:
    Journal of Functional Programming, 2006, v. 16, n. 6, p. 751, doi. 10.1017/s0956796806006046
    By:
    • MATTHEW FLUET;
    • RICCARDO PUCELLA
    Publication type:
    Article
    5

    Regular expression filters for XML.

    Published in:
    Journal of Functional Programming, 2006, v. 16, n. 6, p. 711, doi. 10.1017/s0956796806005909
    By:
    • HARUO HOSAYA
    Publication type:
    Article
    6