Conferences in DBLP

Fuji International Symposium on Functional and Logic Programming (flops)
2006 (conf/flops/2006)

1. Guy L. Steele Jr.
   Parallel Programming and Parallel Abstractions in Fortress. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:1- [Conf]
   
2. Peter Van Roy
   Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:2-12 [Conf]
   
3. Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira
   "Scrap Your Boilerplate" Reloaded. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:13-29 [Conf]
   
4. Atze Dijkstra, S. Doaitse Swierstra
   Ruler: Programming Type Rules. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:30-46 [Conf]
   
5. Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
   A Framework for Extended Algebraic Data Types. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:47-64 [Conf]
   
6. Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh
   Lock Free Data Structures Using STM in Haskell. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:65-80 [Conf]
   
7. Akihiko Tozawa
   XML Type Checking Using High-Level Tree Transducer. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:81-96 [Conf]
   
8. Benjamin Grégoire, Laurent Théry, Benjamin Werner
   A Computational Approach to Pocklington Certificates in Type Theory. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:97-113 [Conf]
   
9. Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu
   Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:114-129 [Conf]
   
10. Andrew Pimlott, Oleg Kiselyov
    Soutei, a Logic-Based Trust-Management System. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:130-145 [Conf]
    
11. Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo
    A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:146-162 [Conf]
    
12. Jean-Yves Marion, Romain Péchoux
    Resource Analysis by Sup-interpretation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:163-176 [Conf]
    
13. Xuan Li, Andy King, Lunjin Lu
    Lazy Set-Sharing Analysis. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:177-191 [Conf]
    
14. James Avery
    Size-Change Termination and Bound Analysis. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:192-207 [Conf]
    
15. Ralf Hinze, Johan Jeuring, Andres Löh
    Typed Contracts for Functional Programming. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:208-225 [Conf]
    
16. Robert Bruce Findler, Matthias Blume
    Contracts as Pairs of Projections. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:226-241 [Conf]
    
17. Rinus Plasmeijer, Peter Achten
    iData for the World Wide Web - Programming Interconnected Web Forms. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:242-258 [Conf]
    
18. Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi
    Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:259-276 [Conf]
    
19. Peter Thiemann
    WASH Server Pages. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:277-293 [Conf]