External Links

    Journal: Journal of Functional Programming

    Volume 8, Issue 2

    97 -- 129Robert F. Stärk. Why the Constant Undefined ? Logics of Partial Terms for Strict and Non-Strict Functional Programming Languages
    131 -- 176Thérèse Hardin, Luc Maranget. Functional Runtime Systems Within the Lambda-Sigma Calculus
    177 -- 193P. N. Benton, Gavin M. Bierman, Valeria de Paiva. Computational Types from a Logical Perspective
    195 -- 199Chris Okasaki. Functional Pearl: Even Higher-Order Functions for Parsing
    runs on