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


Results: 6
    1
    2
    3
    4
    5

    Type-based confinement.

    Published in:
    Journal of Functional Programming, 2006, v. 16, n. 1, p. 83, doi. 10.1017/s0956796805005691
    By:
    • TIAN ZHAO;
    • JENS PALSBERG;
    • JAN VITEK
    Publication type:
    Article
    6