Second Fuji International Workshop on Functional and Logic Programming : Shonan Village Center, Japan, Nov 1-4, 1996
哲雄 井田, Atsushi Ohori, 正人 武市 · WORLD SCIENTIFIC eBooks · 1997
Mathematics as a rewrite language, B. Buchberger strong completeness of a lazy conditional narrowing calculus, M. Hamada and A. Middledorp the design and implementation of Mondrian, E. Meijer et al a functional perspective of array primitives, T.-R. Chuang Curry - a truly functional logic language, M. Hanus on the inference of structured recursive effects with subtyping, M. Debbabi et al temporal semantics of a concurrency monad with choice and services, T. Frauenstein et al interactive functional programming, H. Barendregt algebraic semantics for higher-order functional-logic programming, M. Hamana higher-order functional logic-programming - a systematic development, C. Prehofer currying multimethods in a merge calculus, H. Tsuiki. (Part contents).