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