Conferences in DBLP

Practical Aspects of Declarative Languages (PADL) (padl)
2000 (conf/padl/2000)

1. Mark Tullsen
   First Class Patterns. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:1-15 [Conf]
   
2. John Peterson, Valery Trifonov, Andrei Serjantov
   Parallel Functional Reactive Programming. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:16-31 [Conf]
   
3. Tyng-Ruey Chuang, Shin-Cheng Mu
   Out-of-Core Functional Programming with Type-Based Primitives. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:32-46 [Conf]
   
4. Michael Hanus
   A Functional Logic Programming Approach to Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:47-62 [Conf]
   
5. Julio Mariño, Juan José Moreno-Navarro
   Using Static Analysis to Compile Non-sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:63-80 [Conf]
   
6. Daniel Diaz, Philippe Codognet
   GNU Prolog: Beyond Compiling Prolog to C. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:81-92 [Conf]
   
7. Bart Demoen, Konstantinos F. Sagonas
   Heap Garbage Collection in XSB: Practice and Experience. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:93-108 [Conf]
   
8. Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
   Implementation of a Linear Tabling Mechanism. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:109-123 [Conf]
   
9. Juan José Moreno-Navarro, Susana Muñoz-Hernández
   How to Incorporate Negation in a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
   PADL, 2000, pp:124-140 [Conf]
   
10. Salvador Abreu
    A Logic-Based Information System. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:141-153 [Conf]
    
11. Chris J. Hinde, Richard J. Reader, Kath Phelps
    HIPPO - A Declarative Graphical Modelling System. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:154-168 [Conf]
    
12. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
    Calculating a New Data Mining Algorithm for Market Basket Analysis. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:169-184 [Conf]
    
13. Tee Yong Chew, Martin Henz, Ka Boon Ng
    A Toolkit for Constraint-Based Inference Engines. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:185-199 [Conf]
    
14. Timothy J. Hickey
    CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:200-214 [Conf]
    
15. Christian Schulte
    Programming Deep Concurrent Constraint Combinators. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:215-229 [Conf]
    
16. Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
    Labeling and Partial Local Consistency for Soft Constraint Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:230-248 [Conf]
    
17. Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke
    Transformation-by-Example for XML. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:249-262 [Conf]
    
18. Peter Thiemann
    Modeling HTML in Haskell. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:263-277 [Conf]
    
19. Ching-Long Yeh
    A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:278-292 [Conf]
    
20. Tallys H. Yunes, Arnaldo V. Moura, Cid C. de Souza
    A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:293-307 [Conf]
    
21. Gopal Gupta, Shameem F. Akhter
    Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:308-323 [Conf]
    
22. I. V. Ramakrishnan
    Current Trends in Logic Programming: Prospects and Promises. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:324- [Conf]
    
23. Peter Lee
    Production-Quality Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:325- [Conf]