Skip to main content
SpringerLink
Log in

Functional and Logic Programming

8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Masami Hagiya

    1. NTT Communication Science Laboratories, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Philip Wadler

    1. University of Edinburgh, UK

    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 3945)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FLOPS 2006.

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 (19 papers)

  1. Front Matter

    Download chapter PDF

  3. Refereed Papers

    1. Data Types

      1. “Scrap Your Boilerplate” Reloaded
        • Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
        Pages 13-29
      2. Ruler: Programming Type Rules
        • Atze Dijkstra, S. Doaitse Swierstra
        Pages 30-46
      3. A Framework for Extended Algebraic Data Types
        • Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
        Pages 47-64

    2. FP Extensions

      1. Lock Free Data Structures Using STM in Haskell
        • Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh
        Pages 65-80
      2. XML Type Checking Using High-Level Tree Transducer
        • Akihiko Tozawa
        Pages 81-96

    3. Type Theory

      1. A Computational Approach to Pocklington Certificates in Type Theory
        • Benjamin Grégoire, Laurent Théry, Benjamin Werner
        Pages 97-113
      2. Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
        • Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu
        Pages 114-129

    4. LP Extensions

      1. Soutei, a Logic-Based Trust-Management System
        • Andrew Pimlott, Oleg Kiselyov
        Pages 130-145
      2. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
        • Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo
        Pages 146-162

    5. Analysis

      1. Resource Analysis by Sup-interpretation
        • Jean-Yves Marion, Romain Péchoux
        Pages 163-176
      2. Lazy Set-Sharing Analysis
        • Xuan Li, Andy King, Lunjin Lu
        Pages 177-191
      3. Size-Change Termination and Bound Analysis
        • James Avery
        Pages 192-207

    6. Contracts

      1. Typed Contracts for Functional Programming
        • Ralf Hinze, Johan Jeuring, Andres Löh
        Pages 208-225
      2. Contracts as Pairs of Projections
        • Robert Bruce Findler, Matthias Blume
        Pages 226-241

    7. Web and GUI

      1. iData for the World Wide Web – Programming Interconnected Web Forms
        • Rinus Plasmeijer, Peter Achten
        Pages 242-258
      2. Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
        • Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi
        Pages 259-276
      3. WASH Server Pages
        • Peter Thiemann
        Pages 277-293
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

Editors and Affiliations

  • NTT Communication Science Laboratories, Japan

    Masami Hagiya

  • University of Edinburgh, UK

    Philip Wadler

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation