Works matching IS 09567968 AND DT 2008 AND VI 18 AND IP 4

Results: 4
    1
    2

    Data types ? la carte.

    Published in:
    Journal of Functional Programming, 2008, v. 18, n. 4, p. 423
    By:
    • WOUTER SWIERSTRA
    Publication type:
    Article
    3

    Safety of N?cker's strictness analysis.

    Published in:
    Journal of Functional Programming, 2008, v. 18, n. 4, p. 503, doi. 10.1017/s0956796807006624
    By:
    • MANFRED SCHMIDT-SCHAUSS;
    • DAVID SABEL;
    • MARKO SCH?TZ
    Publication type:
    Article
    4