Skip to main content
  • Conference proceedings
  • © 2006

Functional and Logic Programming

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

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

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

Conference series link(s): FLOPS: International Symposium on Functional and Logic Programming

Conference proceedings info: FLOPS 2006.

Buy it now

Buying options

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

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

Table of contents (19 papers)

  1. Front Matter

  2. 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
    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

Other Volumes

  1. Functional and Logic Programming

Editors and Affiliations

  • NTT Communication Science Laboratories, Japan

    Masami Hagiya

  • University of Edinburgh, UK

    Philip Wadler

Bibliographic Information

Buy it now

Buying options

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