FOOL 2004 Preliminary Program

Sophia Drossopoulou scd at
Fri Dec 19 17:50:12 EST 2003

Preliminary program and  papers accepted for FOOL 2004 can be 
found at

     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:


Sophia Drossopoulou
Department of Computing,
Imperial College            fax:  (+44)  20 7581 8024
London, UK 

More information about the Types-list mailing list