Conferences in DBLP

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

1. 
   Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. [Citation Graph (, )][DBLP]
   
   
2. 
   On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory. [Citation Graph (, )][DBLP]
   
   
3. 
   Substructural Type Systems for Program Analysis. [Citation Graph (, )][DBLP]
   
   
4. 
   Integrating Answer Set Reasoning with Constraint Solving Techniques. [Citation Graph (, )][DBLP]
   
   
5. 
   Optimizing Compilation of CHR with Rule Priorities. [Citation Graph (, )][DBLP]
   
   
6. 
   Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base. [Citation Graph (, )][DBLP]
   
   
7. 
   Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). [Citation Graph (, )][DBLP]
   
   
8. 
   On-Demand Refinement of Dependent Types. [Citation Graph (, )][DBLP]
   
   
9. 
   Proving Properties about Lists Using Containers. [Citation Graph (, )][DBLP]
   
   
10. 
    Termination of Narrowing in Left-Linear Constructor Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Complexity Analysis by Rewriting. [Citation Graph (, )][DBLP]
    
    
12. 
    Rewriting and Call-Time Choice: The HO Case. [Citation Graph (, )][DBLP]
    
    
13. 
    Semantics and Pragmatics of New Shortcut Fusion Rules. [Citation Graph (, )][DBLP]
    
    
14. 
    A Generalization of the Folding Rule for the Clark-Kunen Semantics. [Citation Graph (, )][DBLP]
    
    
15. 
    Types for Hereditary Head Normalizing Terms. [Citation Graph (, )][DBLP]
    
    
16. 
    A New Translation for Semi-classical Theories - Backtracking without CPS. [Citation Graph (, )][DBLP]
    
    
17. 
    Undoing Dynamic Typing (Declarative Pearl). [Citation Graph (, )][DBLP]
    
    
18. 
    Typed Dynamic Control Operators for Delimited Continuations. [Citation Graph (, )][DBLP]
    
    
19. 
    Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. [Citation Graph (, )][DBLP]
    
    
20. 
    Quantitative Logic Programming Revisited. [Citation Graph (, )][DBLP]
    
    
21. 
    Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. [Citation Graph (, )][DBLP]
    
    
22. 
    Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (, )][DBLP]
    
    
23. 
    EasyCheck - Test Data for Free. [Citation Graph (, )][DBLP]