START Conference Manager    

The ACM SIGPLAN Workshop on Types in Language Design and Implementation

TLDI 2009

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
#16
#17
#18
#19
#20

More authors      Fewer authors


Contact Informaton:

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


Abstract:

Type (or cut-and-paste) a short abstract for your submission. You must enter plain 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".

Find the file containing your submission: 


Keywords/Topics:

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

typed intermediate languages
certified compilation
systems programming
object oriented
dynamically typed
semantics
program analysis
compiler optimizations
dependent types
security
concurrency, distribution
type inference
memory management
 
 


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. 4008)