Conferences in DBLP

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

1. Mikkel Bundgaard, Vladimiro Sassone
   Typed polyadic pi-calculus in bigraphs. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:1-12 [Conf]
   
2. Thom W. Frühwirth
   Constraint handling rules: the story so far. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:13-14 [Conf]
   
3. Coen De Roover, Johan Brichau, Theo D'Hondt
   Combining fuzzy logic and behavioral similarity for non-strict program validation. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:15-26 [Conf]
   
4. Michael Hanus
   Type-oriented construction of web user interfaces. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:27-38 [Conf]
   
5. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
   An abductive framework for a-priori verification of web services. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:39-50 [Conf]
   
6. Dario Colazzo, Carlo Sartiani
   An efficient algorithm for XML type projection. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:51-60 [Conf]
   
7. Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
   BASS: boxed ambients with safe sessions. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:61-72 [Conf]
   
8. Robin Abraham, Martin Erwig
   Type inference for spreadsheets. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:73-84 [Conf]
   
9. Tom Schrijvers, Maurice Bruynooghe
   Polymorphic algebraic data type reconstruction. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:85-96 [Conf]
   
10. Martin Sulzmann
    Extracting programs from type class proofs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:97-108 [Conf]
    
11. Ricardo Caferra, Rachid Echahed, Nicolas Peltier
    Rewriting term-graphs with priority. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:109-120 [Conf]
    
12. Isabelle Gnaedig, Hélène Kirchner
    Computing constructor forms with non terminating rewrite programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:121-132 [Conf]
    
13. Andres Löh, Ralf Hinze
    Open data types and open functions. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:133-144 [Conf]
    
14. Maribel Fernández, Fabien Fleutot
    A historic functional and object-oriented calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:145-156 [Conf]
    
15. Josep Silva, Olaf Chitil
    Combining algorithmic debugging and program slicing. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:157-166 [Conf]
    
16. Tobias Lindahl, Konstantinos F. Sagonas
    Practical type inference based on success typings. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:167-178 [Conf]
    
17. Dale Miller
    Collection analysis for Horn clause programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:179-188 [Conf]
    
18. Murdoch Gabbay, Aad Mathijssen
    One-and-a-halfth-order logic. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:189-200 [Conf]
    
19. Yosihiro Yuse, Atsushi Igarashi
    A modal type system for multi-level generating extensions with persistent code. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:201-212 [Conf]
    
20. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
    Inferring dynamic credentials for rôle-based trust management. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:213-224 [Conf]
    
21. Eugen-Nicolae Volanschi
    Condate: a proto-language at the confluence between checking and compiling. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:225-236 [Conf]
    
22. Huu-Duc Nguyen, Atsushi Ohori
    Compiling ML polymorphism with explicit layout bitmap. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:237-248 [Conf]
    
23. Yutaka Matsuno, Atsushi Ohori
    A type system equivalent to static single assignment. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:249-260 [Conf]
    
24. Germán Puebla, Claudio Ochoa
    Poly-controlled partial evaluation. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:261-271 [Conf]