START Conference Manager    

The 13th ACM SIGPLAN International Conference on Functional Programming

ICFP 2008

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 Affiliation
#1
#2
#3
#4
#5
#6
#7
#8
#9
#10
#11
#12
#13
#14
#15

More Authors      Fewer Authors

Contact Information:

Title 
First name*
Last name*
  Affiliation/organization*
       Affiliation Dept/Lab 
Phone*
Fax 
Email*
Country*
Address 
Address 
Address 
City/Town*
Zip/Postal Code*

Submission Category:

Please enter the category under which the submission should be reviewed.

Paper Category:  

Abstract:

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.

 

Submission Files:

All submitted attachments must be in the following format(s):

Adobe PDF (pdf)

A file's name should have the proper MIME extent associated with its document type. For example, a pdf file should have a name such as "mypaper.pdf". The file can also be compressed in any standard format, with its appropriate MIME extent (eg., pdf.gz for gzipped pdf, etc.).

Find the files for your submission:

Paper submission:  
Supplementary material:  

Keywords/Topics:

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

Systems programming
Scientific and numerical computing
Symbolic computing
Artificial intelligence
Databases
Graphical user interfaces
Multimedia programming
Scripting
System administration
Distributed-systems and web programming
XML processing
Security
Formal semantics
Lambda calculus
Type theory
Monads
Continuations
Control
State
Effects
Algorithms and data structures
Modules
Type systems
Concurrency and distribution
Components and composition
Related to object-oriented programming
Related to logic programming
Abstract machines
Compile-time and run-time optimization
Just-in-time compilers
Memory management
Parallel hardware
Interfaces to foreign functions, services, components or low-level machine resources
Abstract interpretation
Partial evaluation
Program transformation
Design patterns
Specification
Verification
Validation
Debugging
Test generation
Tracing
Profiling
 
 

Declaration:

   I confirm that this paper is not under submission elsewhere and that all related appearances are acknowledged in the paper, as required by the SIGPLAN Republication Policy.

(Note: Javascript must be enabled to make a submission.)

START Conference Manager (V2.61.0 - Rev. 6236M)