Works matching IS 09567968 AND DT 1991 AND VI 1 AND IP 3

Results: 7
    1

    Errataum.

    Published in:
    Journal of Functional Programming, 1991, v. 1, n. 3, p. 373, doi. 10.1017/S0956796800000150
    Publication type:
    Article
    2

    Theoretical Pearls.

    Published in:
    Journal of Functional Programming, 1991, v. 1, n. 3, p. 367, doi. 10.1017/S0956796800000149
    By:
    • Barendsen, Erik
    Publication type:
    Article
    3
    4
    5

    Type inference with simple subtypes.

    Published in:
    Journal of Functional Programming, 1991, v. 1, n. 3, p. 245, doi. 10.1017/S0956796800000113
    By:
    • Mitchell, John C.
    Publication type:
    Article
    6
    7