Conferences in DBLP

Principles and Practice of Declarative Programming (PPDP) (ppdp)
2009 (conf/ppdp/2009)

1. 
   Session types for linear multithreaded functional programming. [Citation Graph (, )][DBLP]
   
   
2. 
   Scrap your boilerplate: prologically! [Citation Graph (, )][DBLP]
   
   
3. 
   Automatic refactoring of Erlang programs. [Citation Graph (, )][DBLP]
   
   
4. 
   Model-checking higher-order functions. [Citation Graph (, )][DBLP]
   
   
5. 
   A dynamically customizable process-centered evaluation model. [Citation Graph (, )][DBLP]
   
   
6. 
   A higher-order logical framework for the algorithmic debugging and verification of declarative programs. [Citation Graph (, )][DBLP]
   
   
7. 
   Alternation as a programming paradigm. [Citation Graph (, )][DBLP]
   
   
8. 
   Set functions for functional logic programming. [Citation Graph (, )][DBLP]
   
   
9. 
   Reasoning with hypothetical judgments and open terms in hybrid. [Citation Graph (, )][DBLP]
   
   
10. 
    An Isabelle/HOL-based model of stratego-like traversal strategies. [Citation Graph (, )][DBLP]
    
    
11. 
    Making induction manifest in modular ACL2. [Citation Graph (, )][DBLP]
    
    
12. 
    Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. [Citation Graph (, )][DBLP]
    
    
13. 
    Algorithmic specifications in linear logic with subexponentials. [Citation Graph (, )][DBLP]
    
    
14. 
    A logical framework for configuration software. [Citation Graph (, )][DBLP]
    
    
15. 
    A declarative semantics for Bousi~Prolog. [Citation Graph (, )][DBLP]
    
    
16. 
    Path-sensitive region analysis for mercury programs. [Citation Graph (, )][DBLP]
    
    
17. 
    An embedded declarative data transformation language. [Citation Graph (, )][DBLP]
    
    
18. 
    L2C2: logic-based LSC consistency checking. [Citation Graph (, )][DBLP]
    
    
19. 
    Future contracts. [Citation Graph (, )][DBLP]
    
    
20. 
    A framework for abstract interpretation of timed concurrent constraint programs. [Citation Graph (, )][DBLP]
    
    
21. 
    Foundations of session types. [Citation Graph (, )][DBLP]
    
    
22. 
    The RPC calculus. [Citation Graph (, )][DBLP]
    
    
23. 
    Language support for processing distributed ad hoc data. [Citation Graph (, )][DBLP]
    
    
24. 
    A declarative encoding of telecommunications feature subscription in SAT. [Citation Graph (, )][DBLP]
    
    
25. 
    On the expressive power of priorities in CHR. [Citation Graph (, )][DBLP]
    
    
26. 
    Dependent type inference with interpolants. [Citation Graph (, )][DBLP]
    
    
27. 
    Context-based proofs of termination for typed delimited-control operators. [Citation Graph (, )][DBLP]
    
    
28. 
    Relational semantics for effect-based program transformations: higher-order store. [Citation Graph (, )][DBLP]