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. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-33438-6
Invited Papers
- Guy L. Steele Jr.: Parallel Programming and Parallel Abstractions in Fortress. 1
- Peter Van Roy: Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. 2-12
Data Types
- Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. 47-64
FP Extensions
- Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh: Lock Free Data Structures Using STM in Haskell. 65-80
- Akihiko Tozawa: XML Type Checking Using High-Level Tree Transducer. 81-96
Type Theory
- Benjamin Grégoire, Laurent Théry, Benjamin Werner: A Computational Approach to Pocklington Certificates in Type Theory. 97-113
- 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
- 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
- James Avery: Size-Change Termination and Bound Analysis. 192-207
Contracts
Web and GUI
- Rinus Plasmeijer, Peter Achten: iData for the World Wide Web - Programming Interconnected Web Forms. 242-258
- Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi: Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. 259-276
- Peter Thiemann: WASH Server Pages. 277-293
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team