Practical Aspects of Declarative Languages 5th International Symposi
- PDF / 4,362,183 Bytes
- 417 Pages / 415.77 x 648.551 pts Page_size
- 75 Downloads / 253 Views
2562
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Veronica Dahl Philip Wadler (Eds.)
Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13-14, 2003 Proceedings
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Veronica Dahl Simon Fraser University, Computer Science Department Logic and Functional Programming Group 8888 University Drive, Burnaby B.C. V5A 1S6, Canada E-mail: [email protected] Philip Wadler Avaya Labs 233 Mount Airy Road, Basking Ridge, NJ 07920, USA E-mail: [email protected] Cataloging-in-Publication Data applied for
A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek. Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at .
CR Subject Classification (1998): D.3, D.1, F.3, D.2 ISSN 0302-9743 ISBN 3-540-00389-4 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2002 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna e.K. Printed on acid-free paper SPIN: 10871827 06/3142 543210
Preface The Fifth International Symposium on Practical Aspects of Declarative Languages (PADL 2003) was held in New Orleans on 13–14 January 2003. It was colocated with the 30th Annual ACM Symposium on Principles of Programming Languages (POPL 2003). We received 57 submissions, a record for PADL. One of the strengths of PADL is that it draws papers from both sides of the declarative divide, from both the functional and logic programming communities. Of the 57 submissions, 25 were functional and 32 were logical, with some notable overlaps. The program committee was divided on the approach to take to the conference. Those from the logic programming community preferred to have parallel sessions in order to accept more papers, those from the functional programming community preferred to avoid parallel sessions though it meant accepting fewer papers. We decided to find strength in diversity, and experiment with taking both paths. We accepted 8 papers on functi
Data Loading...
