Skip to main content
SpringerLink
Log in
Book cover

Functional and Logic Programming

5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Herbert Kuchen

    1. Institut für Wirtschaftsinformatik, WestfälischeWilhelms-Universität Münster, Münster, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kazunori Ueda

    1. Department of Information and Computer Science, Waseda University, Shinjuku-ku, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2024)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Program Analysis and Transformation

    1. Abstract Compilation for Sharing Analysis

      • Gianluca Amato, Fausto Spoto
      Pages 311-325

    2. A Practical Partial Evaluator for a Multi-Paradigm Declarative Language

      • Elvira Albert, Michael Hanus, Germán Vidal
      Pages 326-342

    3. A Simple Take on Typed Abstract Syntax in Haskell-like Languages

      • Olivier Danvy, Morten Rhiger
      Pages 343-358

  2. Calculus

    1. A simply typed context calculus with first-class environments

      • Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
      Pages 359-374

    2. Refining the Barendregt Cube using Parameters

      • Fairouz Kamareddine, Twan Laan, Rob Nederpelt
      Pages 375-389

  3. Back Matter

    Pages 391-391
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Institut für Wirtschaftsinformatik, WestfälischeWilhelms-Universität Münster, Münster, Germany

    Herbert Kuchen

  • Department of Information and Computer Science, Waseda University, Shinjuku-ku, Japan

    Kazunori Ueda

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation