April 2008 - Haskell - Haskell.org

(no subject)
by Samir Genaim 18 Apr '08

18 Apr '08

********************************************************* * The Fourth International Workshop * * on * * Programming Language Interference and Dependence * * * * co-located with LOPSTR'08, PPDP'08 and SAS'08 * * * * 15 July, 2008, Valencia, Spain * * * * Venue: The Technical University of Valencia * * * * 2nd Call for Contributions * * * * http://www.clip.dia.fi.upm.es/Conferences/PLID08 * * * ********************************************************* Important Dates =============== Expression of interest June 1, 2008 Extended abstract June 15, 2008 Workshop July 15, 2008 Workshop Description ==================== Interference and dependence are closely related concepts, the first being the observable phenomenon connected to the second. Interference essentially means that behaviour of some parts of a dynamic system may influence the behaviour of other parts of the system. Dependence specifies the relation between the semantics of sub-components of a dynamic system. Discovering, measuring and controlling interference is essential in many aspects of modern computer science, in particular in security, program analysis and verification, debugging, systems specification, model checking, program manipulation, program slicing, reverse engineering, data mining, distributed databases and systems biology. Doing these things requires theories, models and semantics for interference and dependence, as well as algorithms and tools for analysis and reasoning about interference and dependence. The aim of this workshop is to gather together the community of people that study dependence and interference from the different points of view in order to generate new possible research directions. PLID is devoted to bridging all these communities and assisting work towards a common goal, providing the appropriate environment for reasoning about the state of the art in interference and dependence. Topics of interest include but are not limited to: * Security against unwanted interference and dependence * Models and theories of program interference * Algorithms for reducing or removing interference or for ameliorating its effects * Theory and foundations of program slicing and related dependence analyses * Resource declassification theories * Semantics of dependence and interference * Analyses based on interference and dependence * Abstract interpretation for dependence and interference * Dependence and interference in specifications * Slicing models and specifications * Interaction between dependence and refinement Keynote Speaker =============== Gilles Barthe, IMDEA-software (Madrid, Spain) Submission ========== The workshop welcomes contributions of on-going work and ideas in the field of dependence and interference. Those who are interested in having a talk at the workshop and/or discussing issues related with these subjects are invited to send your expression of interest to Samir Genaim (samir at clip.dia.fi.upm.es) before June 1st, 2008. There will be no formal publication of papers. A web-page will be organised collecting all the workshop contributions. Submitted extended abstracts should be of at most 10 pages LNCS-style and should be sent before June 15th 2008. Program Committee ================= David Clark Kings College, London, UK Sebastian Danicic University of London, UK Samir Genaim (chair) Technical University of Madrid, Spain Roberto Giacobazzi University of Verona, Italy Daniele Gorla University of Roma, Italy Sebastian Hunt City University, London, UK Herbert Wiklicky Imperial College, London, UK Steve Zdancewic University of Pennsylvania, USA Local organization chair ======================== Christophe Joubert Technical University of Valencia / DSIC

1 0

Final CfP: LOPSTR 2008
by mh＠informatik.uni-kiel.de 18 Apr '08

18 Apr '08

====================================================================== Final CALL FOR PAPERS 18th International Symposium on International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2008 http://www.informatik.uni-kiel.de/~mh/lopstr08/ July 17-18, 2008, Valencia, Spain (co-located with SAS 2008, PPDP 2008, and PLID 2008) ====================================================================== Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate this feedback in the published papers. Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). IMPORTANT DATES AND SUBMISSION GUIDELINES: Paper/extended abstract submission: May 7, 2008 Notification (for pre-proceedings): June 8, 2008 Camera-ready (for pre-proceedings): June 29, 2008 Symposium: July 17-18, 2008 Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages (including references), respectively. Submissions must be formatted in the Springer LNCS style (excluding well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that will be published by Springer-Verlag in the LNCS series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the comments of the reviewers and the feedback solicited at the meeting. Then after another round of reviewing, the revised papers which are accepted will be also published in the formal proceedings. Papers should be submitted either in PDF or PostScript via the web page of LOPSTR 2008. Program Committee: Slim Abdennadher German University Cairo Danny De Schreye K.U.Leuven, Belgium Wlodek Drabent Polish Academy of Sciences, Poland / Linkoeping Univ., Sweden Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany (Chair) Patricia Hill University of Leeds, UK Andy King University of Kent, UK Michael Leuschel University of Duesseldorf, Germany Torben Mogensen DIKU, University of Copenhagen, Denmark Mario Ornaghi Universita degli Studi di Milano, Italy Etienne Payet Universite de La Reunion, France Alberto Pettorossi University of Rome Tor Vergata, Italy German Puebla Technical University of Madrid, Spain C.R. Ramakrishnan SUNY at Stony Brook, USA Sabina Rossi Universita Ca' Foscari di Venezia, Italy Chiaki Sakama Wakayama University, Japan Josep Silva Technical University of Valencia, Spain Wim Vanhoof University of Namur, Belgium Eelco Visser Delft University of Technology, The Netherlands ----------------------------------------------------------------------

1 0

Looking for Computer Science/Functional Programming professional
by John Wilson 17 Apr '08

17 Apr '08

Curvaceous Software Limited wants to recruit someone with a Computer Science background and experience of Functional Programming to take over the further development of a visual interactive computer program that is written partly in ML and partly in C. It includes an ML Interpreter written in C. The ability to quickly master new concepts and to work with little supervision are key requirements. The location is South Bucks. Curvaceous Software Limited PO Box 43 Gerrards Cross Buckinghamshire SL9 8UX United Kingdom Phone: +44 (0) 1753 893090 enquiries(a)curvaceous.com Dr John G. Wilson Research and Development Manager _________________________________________________________________ Get Hotmail on your mobile. Text MSN to 63463 now! http://mobile.uk.msn.com/pc/mail.aspx

1 0

NW Functional Programming Interest Group
by Jeff Henrikson 16 Apr '08

16 Apr '08

Hi Greg, Not sure if you're aware but there is already a functional programming interest group in Seattle, SeaFunc. We have been meeting approximately every 4 weeks since 2004. For the sake of people deciding which group to follow, could you explain the differences of your scope? (We also discuss Haskell, OCaml, and Scala, among other things.) http://tech.groups.yahoo.com/group/SeaFunc/ Our regularly scheduled meeting is also tomorrow, April 16 (later at 8pm) at Ralph's Grocery downtown. Check the list for details. Jeff Henrikson > Message-ID: <5de3f5ca0804150821t342512bcv5fd3bb5f02f20bd7(a)mail.gmail.com> > Date: Tue, 15 Apr 2008 08:21:19 -0700 > From: "Greg Meredith" <lgreg.meredith(a)biosimilarity.com> > To: haskell(a)haskell.org, haskell-cafe <haskell-cafe(a)haskell.org>, > "Scala list" <scala(a)listes.epfl.ch>, caml-list <caml-list(a)inria.fr>, > northwest-functional-programming-interest-group(a)googlegroups.com > In-Reply-To: <5de3f5ca0802011155l771cc649wa0e671bbe3abe364(a)mail.gmail.com> > Subject: NW Functional Programming Interest Group > > All, > > Apologies for multiple listings. > > It's that time again. Our growing cadre of functionally-minded north > westerners > is meeting at the > > The Seattle Public Library > 1000 - 4th Ave. > Seattle, WA 98104 > > from 18:30 - 20:00 on April 16th. > > This meeting's agenda is a little more fluid, but... > > - i would like to talk about a proposal i'm mulling over around a much > more general account of the Curry-Howard isomorphism by way of iterated > distributive laws for monads > - we also need to get a couple more people on the hook to give a talk > > Hope to see you there. > > Monadically yours, > > --greg > >

3 2

Error recovery for Haskell parsers?
by Johannes Waldmann 16 Apr '08

16 Apr '08

Dear all I'd like to collect some ideas for error recovery in Haskell parsers. cf. http://leiffrenzel.de/eclipse/wiki/doku.php?id=ast , feel free to add information to that page. best regards, Johannes.

2 1

ANN: MissingH 1.0.1
by John Goerzen 16 Apr '08

16 Apr '08

MissingH version 1.0.1 is now available from http://software.complete.org/missingh and Hackage. Two new features in this version: * The Data.Quantity module now includes support for parsing quantities. Using the binaryOpts suffixes, it can parse things like 1.5m and 2g into the appropriate megabyte/gigabyte numbers. * New module Data.BinPacking, which provides a standard infrastructure for solving the bin-packing problem, as well as two algorithms for doing so. The bin-packing problem is finding the best way to fit items of varying sizes into bins if fixed sizes, using the fewest number of bins. This is useful, say, to fit data files onto the fewest number of CDs or DVDs. The example algorithms include a naive "pack in order given" function as well as a "pack largest valid object first" function. -- John

1 0

I have some issue with XML-RPC on Windows?
by Krassimir Krustev 15 Apr '08

15 Apr '08

On Windows, trying example from XML-RPC: C:\Program Files\Apache Group\Apache2\cgi-bin>runhaskell simple_client.hs simple_client.hs: user error (Error calling examples.add: Lexical error in file string input at line 7 col 56: unexpected EOF within </...>) C:\Program Files\Apache Group\Apache2\cgi-bin>type input.xml <?xml version="1.0"?> <methodCall> <methodName>examples.add</methodName> <params> <param> <value><i4>3</i4></value> </param> <param> <value><i4>4</i4></value> </param> </params> </methodCall> C:\Program Files\Apache Group\Apache2\cgi-bin>runhaskell simple_server.hs < input.xml Server: Haskell XmlRpcServer/0.1 Content-Type: text/xml Content-Length: 150 <?xml version='1.0' ?> <methodResponse ><params ><param ><value ><int >7</int></value></param></params></methodResponse> I do not get this behaviour if I paste the input to console. Presumably the failed call from from simple_client did something similar C:\Program Files\Apache Group\Apache2\cgi-bin>runhaskell simple_server.hs <?xml version="1.0"?> <methodCall> <methodName>examples.add</methodName> <params> <param> <value><i4>3</i4></value> </param> <param> <value><i4>4</i4></value> </param> </params> </methodCall>^Z Server: Haskell XmlRpcServer/0.1 Content-Type: text/xml Content-Length: 486 <?xml version='1.0' ?> <methodResponse ><fault ><value ><struct ><member ><name >faultCode</name ><value ><int >0</int></value></member ><member ><name >faultString</name ><value ><string >Lexical error in file string input at line 12 col 14: unexpected EOF between tags</string></value></member></struct></value></fault> </methodResponse>

1 0

1st CFP: 2008 Haskell Symposium (Haskell 08)
by Andy Gill 14 Apr '08

14 Apr '08

Haskell 08 ACM SIGPLAN 2008 Haskell Symposium Victoria, British Columbia, Canada Thursday, 25th September, 2008 FIRST CALL FOR PAPERS http://haskell.org/haskell-symposium/2008 The Haskell Symposium 2008 is part of the 2008 International Conference on Functional Programming (ICFP) as an associated ACM SIGPLAN sponsored symposium. The purpose of the Haskell Symposium is to discuss experience with Haskell, and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Topics of interest include, but are not limited to, the following: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, in the form of a formal treatment of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces; * Tools, in the form of profilers, tracers, debuggers, pre-processors, and so forth; * Applications, Practice, and Experience, with Haskell for scientific and symbolic computing, database, multimedia and Web applications, and so forth as well as general experience with Haskell in education and industry; * Functional Pearls, being elegant, instructive examples of using Haskell. Papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program! Before 2008, the Haskell Symposium was known as the Haskell Workshop. The name change reflects the steady increase of influence of the Haskell Workshop on the wider community, as well as an increasing numbers of high quality submissions making the acceptance process highly competitive. Previously, Haskell Workshops have been held in La Jolla (1995), Amsterdam (1997), Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003), Snowbird (2004), Tallinn (2005), Portland, Oregon (2006), Freiburg (2007). Submission Details * Submission Deadline: Monday, June 23rd 2008 (9:00 am, Samoa Standard Time, UTC -11) * Author Notification: Friday, July 18th 2008 * Final Papers Due: Monday, July 28th 2008 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm) The length is restricted to 12 pages, and the font size 9pt. Each submission must adhere to SIGPLAN's republication policy, as explained on the web. Violation risks summary rejection of the offending submission. Paper submissions can be made via the easychair webpage http://www.easychair.org/conferences/?conf=haskell08 Accepted papers will be published by the ACM and will appear in the ACM Digital Library. If there is sufficient demand, we will try to organize a time slot for system or tool demonstrations. If you are interested in demonstrating a Haskell related tool or application, please send a brief demo proposal to Andy Gill, andy(a)galois.com. Links * http://haskell.org/haskell-symposium, the permanent homepage of the Haskell Symposium. * http://haskell.org/haskell-symposium/2008, the 2008 Haskell Symposium web page. * http://www.icfpconference.org/icfp2008, the ICFP 2008 web page. Program Committee * Arthur Baars, Instituto Tecnologico de Informatica, Valencia, Spain * Jeremy Gibbons, Oxford University, UK * Andy Gill, Galois, USA (Program Chair) * William Harrison, University of Missouri, Columbia, USA * Roman Leshchinskiy, University of New South Wales, Australia * Bernie Pope, University of Melbourne, Australia * Colin Runciman, University of York, UK * Tim Sheard, Portland State University, USA * Mary Sheeran, Chalmers University of Technology, Sweden * Satnam Singh, Microsoft Research, UK * Wouter Swierstra, Nottingham University, UK * Varmo Vene, University of Tartu, Estonia

1 0

2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)
by demis＠dimi.uniud.it 14 Apr '08

14 Apr '08

=================================================================== 2nd Call For Papers WFLP 2008 17th International Workshop on Functional and (Constraint) Logic Programming Siena, Italy, July 3-4, 2008 http://wflp08.dimi.uniud.it/ co-located with WWV'08 http://wwv08.dimi.uniud.it/ =================================================================== IMPORTANT DATES Abstract Submission April 20, 2008 Full Paper Submission April 27, 2008 Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 3-4, 2008 SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). LOCATION WFLP'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WWV'08: http://wwv08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ TOPICS WFLP'08 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers, short papers (not more than 8 pages) describing on-going work, and system descriptions. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wflp2008 Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. Accepted contributions are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKER Dale Miller Ecole Polytechnique, Paris (France) PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia (Spain) Marco Comini University of Udine (Italy) Rachid Echahed CNRS,laboratoire LIG, Grenoble (France) Moreno Falaschi (Chair) University of Siena (Italy) Michael Hanus Christian-Albrechts-UniversitŠt zu Kiel (Germany) Tetsuo Ida University of Tsukuba (Japan) Herbert Kuchen Westfalische Wilhelms-Universitat Munster (Germany) Francisco Lopez Fraguas Universidad Complutense de Madrid (Spain) Wolfgang Lux Westfalische Wilhelms-Universitat Munster (Germany) Mircea Marin University of Tsukuba (Japan) Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain) Alicia Villanueva Technical University of Valencia (Spain) ORGANIZING COMMITTEE Michele Baggi University of Siena, Italy Demis Ballis University of Udine, Italy Tommaso Flaminio University of Siena, Italy Maddalena Poneti University of Siena, Italy Elisa Tiezzi (Chair) University of Siena, Italy ====================================================================

1 0

Re: [Haskell-cafe] ANNOUNCE: Generic Haskell 1.80 (Emerald)
by Pablo Nogueira 14 Apr '08

14 Apr '08

On 12/04/2008, Thomas van Noort <thomas(a)cs.ru.nl> wrote: > Generic Haskell includes the following features: > > * type-indexed values -- generic functions that can be > instantiated on all Haskell data types. ^^^ I have perused the manual and wonder if parametric types with class constraints are now supported or are not considered Haskell types. I'm thinking of types such as data Ord a => BinTree a = Leaf | Node a (BinTree a) (BinTree a) data Functor f => GRose f a = GLeaf | GNode a (f(GTree f a))

3 6