Functional and Logic Programming

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

  • Masami Hagiya
  • Philip Wadler
Conference proceedings FLOPS 2006

DOI: 10.1007/11737414

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

Table of contents (19 papers)

  1. Front Matter
  2. Invited Papers

  3. Refereed Papers

    1. Data Types

      1. Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
        Pages 13-29
      2. Atze Dijkstra, S. Doaitse Swierstra
        Pages 30-46
      3. Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
        Pages 47-64
    2. FP Extensions

      1. Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh
        Pages 65-80
    3. Type Theory

      1. Benjamin Grégoire, Laurent Théry, Benjamin Werner
        Pages 97-113
      2. Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu
        Pages 114-129
    4. LP Extensions

      1. Andrew Pimlott, Oleg Kiselyov
        Pages 130-145
      2. Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo
        Pages 146-162
    5. Analysis

      1. Jean-Yves Marion, Romain Péchoux
        Pages 163-176
      2. Xuan Li, Andy King, Lunjin Lu
        Pages 177-191
      3. James Avery
        Pages 192-207
    6. Contracts

      1. Ralf Hinze, Johan Jeuring, Andres Löh
        Pages 208-225
      2. Robert Bruce Findler, Matthias Blume
        Pages 226-241
    7. Web and GUI

      1. Rinus Plasmeijer, Peter Achten
        Pages 242-258
      2. Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi
        Pages 259-276
      3. Peter Thiemann
        Pages 277-293

About these proceedings

Keywords

Coq Haskell XML XML type checking data structure data structures functional programming logic logic programming meta-programming parallel programming program analysis program correctness program semantics programming

Editors and affiliations

  • Masami Hagiya
    • 1
  • Philip Wadler
    • 2
  1. 1.NTT Communication Science Laboratories 
  2. 2.University of Edinburgh 

Bibliographic information

  • Copyright Information Springer Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-33438-5
  • Online ISBN 978-3-540-33439-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349