FOOL 2004 Preliminary Program

Sophia Drossopoulou scd at doc.ic.ac.uk
Fri Dec 19 17:50:12 EST 2003


Preliminary program and  papers accepted for FOOL 2004 can be 
found at
	 www.doc.ic.ac.uk/~scd/FOOL11_Prelim_program




     FOOL 2004 Foundations of Object-Oriented Languages
          co-located with POPL 2004, 17 January 2004
                        Venice, Italy


9:00 - 10:00 Invited Talk
    Martin Odersky:  Title to be announced
    

10:30 - 12:30 Session I
     Kathleen Fisher and John Reppy:
             A typed calculus of traits

    Tetsuo Kamina and Tetsuo Tamai:  
            A Core Calculus for Mixin-Types 

    Lorenzo Bettini, Viviana Bono, Silvia Likavec:
            A Calculus of Mixin-Based Incomplete Objects
      
    Thomas VanDrunen and Jens Palsberg:
            Visitor-Oriented Programming 


14:00 - 15:00 
    Alan Schmitt: Native XML Processing in Objects oriented languages


15:30 - 17:00 
    Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
           Featherweight Generic Confinement

    Paritosh Shroff and Scott Smith:
             Type Inference for First_Class Messages with Match-Functions

    Barry Jay:
            Methods for Pattern Matching Functions


Registration jointly with POPL'04:
	www.cs.princeton.edu/~dpw/popl/04/

 


-- 
===================================================================
Sophia Drossopoulou
Department of Computing,    http://www.doc.ic.ac.uk/~scd/index.html
Imperial College            fax:  (+44)  20 7581 8024
London, UK 




More information about the Types-list mailing list