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 BibTeX

Invited Papers

Guy L. Steele Jr.:
Parallel Programming and Parallel Abstractions in Fortress. 1
Electronic Edition (link) BibTeX
Peter Van Roy:
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. 2-12
Electronic Edition (link) BibTeX

Data Types

Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira:
"Scrap Your Boilerplate" Reloaded. 13-29
Electronic Edition (link) BibTeX
Atze Dijkstra, S. Doaitse Swierstra:
Ruler: Programming Type Rules. 30-46
Electronic Edition (link) BibTeX
Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey:
A Framework for Extended Algebraic Data Types. 47-64
Electronic Edition (link) BibTeX

FP Extensions

Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh:
Lock Free Data Structures Using STM in Haskell. 65-80
Electronic Edition (link) BibTeX
Akihiko Tozawa:
XML Type Checking Using High-Level Tree Transducer. 81-96
Electronic Edition (link) BibTeX

Type Theory

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

LP Extensions

Andrew Pimlott, Oleg Kiselyov:
Soutei, a Logic-Based Trust-Management System. 130-145
Electronic Edition (link) BibTeX
Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo:
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. 146-162
Electronic Edition (link) BibTeX

Analysis

Jean-Yves Marion, Romain Péchoux:
Resource Analysis by Sup-interpretation. 163-176
Electronic Edition (link) BibTeX
Xuan Li, Andy King, Lunjin Lu:
Lazy Set-Sharing Analysis. 177-191
Electronic Edition (link) BibTeX
James Avery:
Size-Change Termination and Bound Analysis. 192-207
Electronic Edition (link) BibTeX

Contracts

Ralf Hinze, Johan Jeuring, Andres Löh:
Typed Contracts for Functional Programming. 208-225
Electronic Edition (link) BibTeX
Robert Bruce Findler, Matthias Blume:
Contracts as Pairs of Projections. 226-241
Electronic Edition (link) BibTeX

Web and GUI

Rinus Plasmeijer, Peter Achten:
iData for the World Wide Web - Programming Interconnected Web Forms. 242-258
Electronic Edition (link) BibTeX
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi:
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. 259-276
Electronic Edition (link) BibTeX
Peter Thiemann:
WASH Server Pages. 277-293
Electronic Edition (link) BibTeX

Copyright © Sat May 16 23:12:13 2009 by Michael Ley (ley@uni-trier.de)