WADT 2004 (2004 Barcelona, Spain)

• Recent trends in algebraic development techniques