START Conference Manager    

The 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

PPDP 2007

Submission Page

To revise a previous submission, please type in its passcode below, and press the ENTER button.


If you lost the passcode for your submission, please click HERE.

To make a new submission, please fill in the form below, and then press the submit button at the bottom.

Title of Submission:  

List of Authors:

Please enter the complete list of authors for your submission, in the order in which they will appear on the abstract. You can add as many author slots as you want, to accommodate the total number of authors for your submission.

First name(s) Last name Email Institution

More Authors      Fewer Authors

Contact Information:

First name*
Last name*
       Affiliation Dept/Lab 
Mail Code 
Street Address 
Zip/Postal Code*


Type (or cut-and-paste) a short ASCII abstract for your submission. It should not include the author/title information, which was already entered above. You must enter plain ASCII text only, and you may not exceed 300 words.


Submit Paper:

Your submission must be in Adobe PDF (pdf) format, and the file name should end with the appropriate MIME extent (i.e., "pdf".). For example, your file could have a name such as "mypaper.pdf". If desired, the file may also be compressed in any standard format, with MIME extent corresponding to the compression type (eg., pdf.gz for a gzipped pdf file, etc.).

Find the file containing your submission: 


Please use the list of topics below to characterize your submission. Check all categories that seem appropriate.

Logic, Constraint, and Functional Programming
Database, AI and Knowledge Representation Languages
Visual Programming
Executable Specification for Languages
Applications of Declarative Programming
Methodologies Program Design and Development
Declarative Aspects of Object-Oriented Programming
Concurrent Extensions to Declarative Languages
Declarative Mobile Computing
Integration of Paradigms
Proof Theoretic and Semantic Foundations
Type and Module Systems
Program Analysis and Verification
Program Transformation
Abstract Machines and Compilation
Programming Environments


   I confirm that this paper is not currently under submission elsewhere and that all appearances at prior and concurrent workshops are acknowledged in the paper.

START Conference Manager (V2.61.0 - Rev. 3973)