WADT 2004 17th Int. Workshop on Algebraic Development Techniques 
March 27 - 29, 2004 
Barcelona, Spain