- Haskell - Haskell.org

constraints@FLAIR 2003 - deadline extension: november 8th
by Stefano Bistarelli 23 Oct '02

23 Oct '02

apologies for multiple copies ------------------------ Deadline extension !! Deadline paper submissions November 8, 2002 (DEADLINE EXTENDED) C A L L F O R P A P E R S Special Track at The 16th International FLAIRS Conference (FLAIRS-03) on CONSTRAINT SOLVING AND PROGRAMMING Held in co-operation The American Association for Artificial Intelligence http://www.cs.ucc.ie/~osullb/flairs2003/ ____________________________________________________________________________ _ Aims and Scope -------------- Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This special track is concerned with all aspects of computing with constraints including algorithms, applications, environments, languages, models, and systems. We also solicit papers from any domain employing constraints, including computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, and user interfaces. Papers that bridge disciplines or combine theory and practice or discuss novel reasoning methods are especially welcome. Special attention is focused around the use of constraint technologies in the networking, wireless and internet fields. Submissions ----------- We invite authors to submit papers on research on constraint solving and programming, with particular emphasis on assessing the current state of the art and identifying future directions. All submissions must be original work. Complete manuscripts must be no more than 10 double-spaced pages (3400 words) in length in postscript or pdf format. Please submit papers directly to FLAIRS (http://www.flairs.com/flairs2003/) Detailed submission guidelines are available from the FLAIRS-2003 web-site (http://www.cs.uwp.edu/flairssubsys/index.php3) Papers, of sufficiently high quality, will be selected to appear in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT). Important Dates --------------- Deadline paper submissions November 8, 2002 (DEADLINE EXTENDED) Notification of acceptance January 7, 2002 Camera-ready deadline February 17, 2003 Organising Committee -------------------- Barry O'Sullivan (Primary Contact) Cork Constraint Computation Centre Department of Computer Science University College Cork, Ireland Email: b.osullivan(a)cs.ucc.ie Web: http://www.cs.ucc.ie/~osullb/ Stefano Bistarelli C.N.R. Istituto di Informatica e Telematica, Pisa and Universita "G. D'Annunzio" Dipartimento di Scienze, Pescara Em ail: Stefano.Bistarelli(a)iit.cnr.it Tel: +39-050-315.3438 Fax: +39-050-315.2593 Web: http://www.sci.unich.it/~bista Program Committee ----------------- Christian Bessiere, LIRMM, France Philippe Codognet, University of Paris and INRIA, France Boi Faltings, EPFL, Switzerland Helene Fargier, Laboratoire IRIT, Universite Paul Sabatier, France Thom Fruehwirth, University of Ulm, Germany Carmen Gervet, IC Parc, Imperial College, UK Javier Larrosa, UPC, Spain Francesca Rossi, University of Padov, Italy Marius-Calin Silaghi, Florida Institute of Technology Mark Wallace, IC Parc, Imperial College, UK Toby Walsh, University College Cork, Ireland

1 0

Hugs98 Oct2002 release candidate available
by Sigbjorn Finne 22 Oct '02

22 Oct '02

A new release of Hugs98 is just around the corner, introducing a number of worthwhile extensions and enhancements (see announcement blurb at the end of this message.) To help us flush out any remaining issues/bugs, a release candidate is now available for test use. The dev. team is very keen on having Hugs users try out this new release, and report back any issues they may into to hugs-bugs(a)haskell.org The release candidate is available in source form (and for the benefit of Win32 users, a binary distribution) from http://cvs.haskell.org/Hugs/downloads/Oct2002/ thanks --sigbjorn --------------------------------------------------------------------------- We are pleased to announce a new release of Hugs98, an interpreter and programming environment for developing Haskell programs. Sources and binaries are freely available on the World-Wide Web. Feature highlights of this new release are: - Much improved FFI support (contributed by Alastair Reid), bringing Hugs really very close to the Haskell FFI specification. - Adoption of a significant subset of GHC's hierarchical libraries (hard work contributed by Ross Paterson.) - An (allegedly) complete implementation of the Haskell98 module system. - Numerous bug fixes since the previous major release in Dec 2001. The home page for Hugs is at http://haskell.org/hugs. Send email to hugs-users-request(a)haskell.org to join the hugs-users mailing list. Bug reports should be sent to hugs-bugs(a)haskell.org. Send email to hugs-bugs-request(a)haskell.org to subscribe to the hugs-bugs list. ---------------------------------------------------------------------------- -- The Hugs 98 system is Copyright (c) Mark P Jones, Alastair Reid, the Yale Haskell Group, and the OGI School of Science & Engineering at OHSU, 1994-2002, All rights reserved. It is distributed as free software under the license in the file "License", which is included in the distribution. ---------------------------------------------------------------------------- --

3 2

Using functions from package haskell98 - GHC 5.04
by Marco van Roshum 22 Oct '02

22 Oct '02

Hi, I'm using ghc version 5.04 and I'm having a problem using functions from standard packages like "base" and "haskell98" For example In my program, I use the function "isDigit", which is part of haskell98.Data.Char When compiling my program, I get the error: Variable not in scope: isDigit. The same error occurs when I explicitly use the package haskell98 as in the following command-line. "ghc program.hs -package lang -package haskell98 -package data -fasm -fglasgow-exts -fallow-undecidable-instances -O2 --make -o program.exe" When trying to load this program in Hugs, there is nog problem at all. Am I doing something wrong, or is this a bug in ghc? Marco

4 3

CFP -- EACL03, Budapest, Hungary
by Claire Gardent 22 Oct '02

22 Oct '02

+---------------------------------------------------+ EACL 2003 10th Conference of the European Chapter of the Association for Computational Linguistics April 12-17, 2003 Budapest, Hungary http://www.conferences.hu/EACL03/ +---------------------------------------------------+ EACL03 invites submissions as follows: Main conference papers ---------------------- . Registration deadline: 10 November . Submission deadline: 15 November Research notes and Demos ------------------------ . Registration deadline: 01 December . Submission deadline: 06 December Student workshop ---------------- . Deadline: 15 November Tutorials --------- . Deadline: 15 November -- =========================================================================== Claire Gardent LORIA BP239 Campus Scientifique F-54506 Vandoeuvre-les-Nancy Tel. +33 3 83 59 20 39 Fax +33 3 83 41 30 79 http://www.loria.fr/~gardent INRIA-Lorraine 615, rue du jardin botanique, B.P. 101 54602 Villers lès Nancy CEDEX France

1 0

RE: Using functions from package haskell98 - GHC 5.04
by Marco van Roshum 22 Oct '02

22 Oct '02

> -----Original Message----- > From: Malcolm Wallace [mailto:Malcolm.Wallace@cs.york.ac.uk] > Sent: dinsdag 22 oktober 2002 11:28 > To: Marco van Roshum > Cc: haskell(a)haskell.org > Subject: Re: Using functions from package haskell98 - GHC 5.04 > > > "Marco van Roshum" <mvroshum(a)foqus-ict.com> writes: > > > In my program, I use the function "isDigit", which is part of > > haskell98.Data.Char > > > > When compiling my program, I get the error: Variable not in scope: > > isDigit. The same error occurs when I explicitly use the package > > haskell98 as in the following command-line. > > Are you remembering to add "import Data.Char" to your program? Ah, thanx. That was the problem. Indeed, I assumed that did not have to give a package option and also that there was an implicit "import" in my Haskell Program, which is not the case. Regards, Marco

1 0

call for papers icalp 2003
by icalp2003＠TUE.nl 22 Oct '02

22 Oct '02

------------------------------Call For Papers---------------------------------------------------- We apologize for the reception of multiple copies of this message. ---------------------------------------------------------------------------- ---------------------------- ICALP2003 Thirtieth International Colloquium on Automata, Languages and Programming Eindhoven, The Netherlands, June 30 - July 4, 2003 The 30th annual meeting of the European Association of Theoretical Computer Science will be held in Eindhoven, The Netherlands, at the Technische Universiteit Eindhoven. As with the journal Theoretical Computer Science (TCS), the scientific program of the Colloquium will be split into two parts: Track A of the meeting will cover Algorithms, Automata, Complexity and Games, while Track B covers Logic, Semantics and Theory of Programming. Topic of interest include but are not limited to: * Track A Algebra & circuits, Approximation algorithms, Combinatorial optimization, Computational biology, Computational geometry, Evolutionary algorithms, Distributed computing, Graph and network algorithms, Molecular computing, Neural networks, Online algorithms, Quantum computing, Randomized algorithms, Routing, Scheduling, Sorting & searching, String algorithms; * Track B Applied logic, Concurrency, Deduction, Hybrid systems, Lambda calculus, Language theory, Logic, Logic of programs, Model checking, Probabilistic systems, Process algebra, Regular Languages, Rewriting, Semantics, Specification & verification, Theorem proving, Theory of programming, Type theory. Submissions Authors are invited to submit a paper presenting original contributions to the theory of computer science. Submissions should consist of: a cover page, with the author's full name, address, fax number, e-mail address, a 100-word abstract, keywords and to which track (A or B) the paper is being submitted. At least one author of an accepted paper should be available to present it at the conference. Simultaneous submission to other conferences with published proceedings is not allowed. Electronic submission of papers through the conference website is encouraged, see http://www.win.tue.nl/icalp2003/. The conference proceedings will be published by Springer Verlag as a volume in the Lecture Notes in Computer Science series. Hence, authors are encouraged to use the LNCS-style (see http://www.springer.de/comp/lncs/authors.html for instructions). The standard format of an ICALP submission has a textheight of at most 21cm and a textwidth of at most 15cm. The font is 11pt (and for LaTeX-users, the textsize is \normalsize, not \small). A submission has at most 12 pages, possibly followed by an appendix of at most 8 pages. The appendix may contain sketches of long proofs and additional material, but the contribution of the paper must be understandable without reading the appendix. Papers that deviate substantially from this standard format will be rejected. Important Dates * Submissions: January 12, 2003 * Notification: March 18, 2003 * Final version: April 13, 2003 Conference Chair Jos Baeten Technische Universiteit Eindhoven Department of Mathematics and Computing Science P.O. Box 513 5600 MB Eindhoven The Netherlands Program Committee Track A Harry Buhrman, CWI Amsterdam Jens Clausen, DTK Lyngby Martin Dyer, Leeds Lars Engebretsen, KTH Stockholm Uri Feige, Weizmann Philippe Flajolet, INRIA Rocquencourt Kazuo Iwama, Kyoto Elias Koutsoupias, UCLA Jan Karel Lenstra, Georgia Tech, co-chair Stefano Leonardi, Roma Rasmus Pagh, Copenhagen Jean-Eric Pin, CNRS and Paris 7 Uwe Schoening, Ulm Jiri Sgall, CAS Praha Micha Sharir, Tel Aviv Vijay Vazirani, Georgia Tech Ingo Wegener, Dortmund Peter Widmayer, ETH Zuerich Gerhard Woeginger, Twente, co-chair Track B Samson Abramsky, Oxford Eike Best, Oldenburg Manfred Broy, TU Muenchen Philippe Darondeau, INRIA Rennes Rocco De Nicola, Firenze Rob van Glabbeek, Stanford Ursula Goltz, Braunschweig Roberto Gorrieri, Bologna Robert Harper, Carnegie Mellon Holger Hermanns, Twente Kim Larsen, Aalborg Jean-Jacques Levy, INRIA Rocquencourt Flemming Nielson, DTU Lyngby Prakash Panangaden, McGill Joachim Parrow, Uppsala, chair Amir Pnueli, Weizmann Davide Sangiorgi, INRIA Sophia Bernhard Steffen, Dortmund Bjorn Victor, Uppsala Workshops and co-located events In the weekends preceding and following ICALP several workshops that are of interest to the EACTS-community will be held at the conference venue. There will be workshops related to track A as well as workshops related to Track B of ICALP. A preliminary list of satelite events will become available on the ICALP 2003 website. In the week preceding ICALP (June 24-27), two more international conferences in computer science are organized by the TU/e: the 4th International Conference on Application and Theory of Petri Nets, ATPN 2003 (http://www.tue.nl/atpn2003/) and the Conference on Business Process Management, BPM 2003 (http://tmitwww.tm.tue.nl/bpm2003/) Contact information ICALP2003 Office Technische Universiteit Eindhoven Department of Mathematics and Computing Science P.O. Box 513 5600MB Eindhoven The Netherlands Telephone: +31 40 2474124 Fax: +31 40 2475361 E-mail: icalp2003(a)tue.nl URL: www.win.tue.nl/icalp2003/

1 0

RE: precedence bug with derived instances
by Simon Peyton-Jones 18 Oct '02

18 Oct '02

| In GHC 5.04.1, derived instances of Show mishandle precedence: | | Prelude> putStrLn (showsPrec 10 (Just 0) "") | Just 0 | | The result should be: (Just 0) I think it's a bug in the Report, not in GHC, actually. The Report says (Section D.4) "The function 'showsPrec d x r' accepts a precedence level 'd' (a number from 0 to 10), a value 'x', and a string 'r'. .... "The representation will be enclosed in parentheses if the precedence of the top-level constructor operator in 'x' is less than 'd'. Thus, if 'd' is 0 then the result is never surrounded in parentheses; if 'd' is 10 it is always surrounded in parentheses, unless it is an atomic expression." But in fact, the precedence of function application is 10, as the syntax makes clear. Indeed, the example code at the end of Appendix D shows a call to showsPrec with an argument of 11 (it's written "app_prec + 1"), for precisely this reason. So, I think that I have to make these changes to the Report: (A) The last sentence should say "..; if 'd' is 11 it is always surrounded in parentheses, unless it is an atomic expression (recall, function application has precedence 10)". (B) The earlier parenthesis should say "(a number from 0 to 11)". Does anyone disagree? Simon

2 1

Re: The Implementation of Functional Programming Languages
by Robert Ennals 18 Oct '02

18 Oct '02

> I expect you are thinking of the wrong book Ah, yes. That's what happens when you write two books with virtually the same name :-)) "Implementing Functional Languages" vs "The implementation of Functional Programming Languages" Similar, but critically different. -Rob

1 0

RE: The Implementation of Functional Programming Languages
by Simon Peyton-Jones 18 Oct '02

18 Oct '02

It is out of print, and I'm working with a friend to get an online version up. But it's taking time. Simon | -----Original Message----- | From: Jose Romildo Malaquias [mailto:romildo@uber.com.br] | Sent: 17 October 2002 19:46 | To: haskell(a)haskell.org | Subject: The Implementation of Functional Programming Languages | | Hello. | | Is the book "The Implementation of Functional | Programming Languages", by Simon Peyton Jones, | available in the internet? This book is out | of print. | | Romildo | -- | Prof. José Romildo Malaquias romildo(a)uber.com.br | Departamento de Computação malaquias(a)iceb.ufop.br | Univ. Federal de Ouro Preto http://uber.com.br/romildo | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

2 1

The Implementation of Functional Programming Languages
by Jose Romildo Malaquias 17 Oct '02

17 Oct '02

Hello. Is the book "The Implementation of Functional Programming Languages", by Simon Peyton Jones, available in the internet? This book is out of print. Romildo -- Prof. José Romildo Malaquias romildo(a)uber.com.br Departamento de Computação malaquias(a)iceb.ufop.br Univ. Federal de Ouro Preto http://uber.com.br/romildo

2 2