8. FLOPS 2006: Fuji-Susono, Japan

Masami Hagiya, Philip Wadler (Eds.): Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings. Lecture Notes in Computer Science 3945 Springer 2006, ISBN 3-540-33438-6

Invited Papers

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Steele06
- ask others
Guy L. Steele Jr.: Parallel Programming and Parallel Abstractions in Fortress. 1
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Roy06
- ask others
Peter Van Roy: Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. 2-12

Data Types

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/HinzeLO06
- ask others
Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira: "Scrap Your Boilerplate" Reloaded. 13-29
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/DijkstraS06
- ask others
Atze Dijkstra, S. Doaitse Swierstra: Ruler: Programming Type Rules. 30-46
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/SulzmannWS06
- ask others
Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. 47-64

FP Extensions

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/DiscoloHMJS06
- ask others
Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh: Lock Free Data Structures Using STM in Haskell. 65-80
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Tozawa06
- ask others
Akihiko Tozawa: XML Type Checking Using High-Level Tree Transducer. 81-96

Type Theory

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/GregoireTW06
- ask others
Benjamin Grégoire, Laurent Théry, Benjamin Werner: A Computational Approach to Pocklington Certificates in Type Theory. 97-113
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/BartheFPR06
- ask others
Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. 114-129

LP Extensions

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/PimlottK06
- ask others
Andrew Pimlott, Oleg Kiselyov: Soutei, a Logic-Based Trust-Management System. 130-145
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/CasasCH06
- ask others
Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo: A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. 146-162

Analysis

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/MarionP06
- ask others
Jean-Yves Marion, Romain Péchoux: Resource Analysis by Sup-interpretation. 163-176
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/LiKL06
- ask others
Xuan Li, Andy King, Lunjin Lu: Lazy Set-Sharing Analysis. 177-191
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Avery06
- ask others
James Avery: Size-Change Termination and Bound Analysis. 192-207

Contracts

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/HinzeJL06
- ask others
Ralf Hinze, Johan Jeuring, Andres Löh: Typed Contracts for Functional Programming. 208-225
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/FindlerB06
- ask others
Robert Bruce Findler, Matthias Blume: Contracts as Pairs of Projections. 226-241

Web and GUI

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/PlasmeijerA06
- ask others
Rinus Plasmeijer, Peter Achten: iData for the World Wide Web - Programming Interconnected Web Forms. 242-258
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/IgnatoffCK06
- ask others
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi: Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. 259-276
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Thiemann06
- ask others
Peter Thiemann: WASH Server Pages. 277-293