Research Catalog

Title

Functional and logic programming : Second Fuji Interntational Workshop : Shonan Village Center, Japan, November 1-4, 1996 / editors, Tetsuo Ida [and others].

Author

Fuji International Workshop on Functional and Logic Programming (2nd : 1996 : Shonan Village Center, Japan)

Publication

[River Edge], New Jersey : World Scientific Pub., 1997.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Ida, Tetsuo.

Description

viii, 320 pages : illustrations; 23 cm

Subjects

• Functional programming (Computer science) > Congresses
• Logic programming > Congresses

Bibliography (note)

• Includes bibliographical references.

Contents

• Mathematica as a Rewrite Language / Bruno Buchberger -- Strong Completeness of a Lazy Conditional Narrowing Calculus / Mohamed Hamada and Aart Middeldorp -- Extension of WAM for a Linear Logic Programming Language / Naoyuki Tamura and Yukio Kaneda -- A Computational Study of Two Cumulative Scheduling Problems / Hendrik C. R. Lock -- The Design and Implementation of Mondrian / Erik Meijer, Joost van Dijk and Koen Claessen [et al.] -- A Functional Perspective of Array Primitives / Tyng-Ruey Chuang -- An Extension of the Acid Rain Theorem / Zhenjiang Hu, Hideya Iwasaki and Masato Takeichi -- A New Formulation of the Catch/Throw Mechanism / Yukiyoshi Kameyama -- Curry - A Truly Functional Logic Language / Michael Hanus -- On the Inference of Structured Recursive Effects with Subtyping / Mourad Debbabi, Zahia Aidoud and Ali Faour -- Slicing Concurrent Logic Programs / Jianjun Zhao, Jingde Cheng and Kazuo Ushijima --
• Temporal Semantics of a Concurrency Monad with Choice and Services / Thomas Frauenstein, Wolfgang Grieskamp and Mario Suedholt -- Concurrent Programming Using Traces in HASKELL / Victor M. Gulias, Juan J. Quintela and Jose L. Freire -- Interactive Functional Programming / Henk Barendregt -- Algebraic Semantics for Higher-Order Functional-Logic Programming / Makoto Hamana -- Subtype Relations Yielding Filter Lambda-Models / Toshihiko Kurata -- Bohm Trees, Bisimulations and Observations in Lambda Calculus / Fer-Jan de Vries -- Higher-Order Functional-Logic Programming: A Systematic Development / Christian Prehofer -- Currying Multi Methods in a Merge Calculus / Hideki Tsuiki -- Type Inference for the Mixture of Matching and Implicit Subtyping / Koji Kagawa -- Compilation Based on a Calculus for Explicit Type Passing / Yasuhiko Minamide.

ISBN

9810229232

LCCN

96050013

OCLC

• 503249247
• ocn503249247

Owning Institutions

Columbia University Libraries