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

Results: 6
    1
    2

    Author Index to Volume 1.

    Published in:
    Journal of Functional Programming, 1991, v. 1, n. 4, p. 495, doi. 10.1017/S0956796800000216
    Publication type:
    Article
    3

    A semantic basis for Quest.

    Published in:
    Journal of Functional Programming, 1991, v. 1, n. 4, p. 417, doi. 10.1017/S0956796800000198
    By:
    • Cardelli, Luca;
    • Longo, Giuseppe
    Publication type:
    Article
    4

    Explicit substitutions.

    Published in:
    Journal of Functional Programming, 1991, v. 1, n. 4, p. 375, doi. 10.1017/S0956796800000186
    By:
    • Abadi, M.;
    • Cardelli, L.;
    • Curien, P.-L.;
    • Lévy, J.-J.
    Publication type:
    Article
    5
    6