Incoming News

====================================================================== 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) ====================================================================== 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 i

With the new Cabal 1.2, it's now possible to make platform dependent C code compilation. So I've made available new version of GLFW that follows standard Cabal installation steps, it's at: http://www.cs.yale.edu/homes/hl293/download/GLFW-0.2.tar.gz Note that this is VERY experimental. Help is needed to test the package on different combinations of GHC + OS platforms. I've already tested it on Linux (i386 32bit) + GHC 6.8.2/6.6.1, Windows XP and OS X 10.4 (Intel) + GHC 6.6 (with Cabal 1.2.2). I'll appreciate feedbacks from GHC 6.8/6.6 on Linux (IA64), Windows Vista, and OS X 10.5 (intel) or OS X (ppc). If no major installation problem remains, I'm going to put it up on hackageDB. Thanks!

Announcing the release of Haddock 0.9 http://www.haskell.org/haddock/ http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-0.9 While Haddock 2 is still in development and should be available shortly, this is an updated version of the old Haddock that works with the latest tools and has various other improvements (all of which have also been rolled into Haddock 2). Changes in version 0.9: * Infix type operators, e.g., first :: a~>a' -> (a,b)~>(a',b) * Add a search box to the index page which automatically narrows the index to the search as you type (thanks to Neil Mitchell). * Add a --ghc-pkg flag * Add a flag --allow-missing-html * URL expansion for %%, %L, %{LINE} * added substitution %{FILE///c} * Lexing of /.../ is now more like '...', in that a / character must be matched by another / character on the same line, otherwise it is treated as a literal '/'. This removes a common source of accidental parse errors in documentation.

_______________________________________________ Haskell mailing list Haskell< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell

_______________________________________________ Haskell mailing list Haskell< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell

Hi Haskellers We have just added support for GHC to the marking system for the South African Computer Olympiad. Therefore, I would like to invite you to join us for our public Training Camp tomorrow. The primary purpose of the competition is to prepare the South African squad for the International Olympiad in Informatics, but we are opening it to the public, too. The format of the competition is three problems over five hours, with each solution consisting of a source file in C, C++, Java or Haskell, which is compiled and executed against a set of test data on our servers. The contest will be held tomorrow (Saturday 15th) from 13:00 to 18:00 South African Standard Time (GMT+2). We will hold a discussion afterwards in the #saco channel on the FreeNode IRC network. Email queries to online-contest< at >olympiad.cs.uct.ac.za You can find out more and register at http://olympiad.cs.uct.ac.za/contest.html I apologise for the late notice: we have been affected by a countrywide power shortage, with our server going

I don't believe that has been sent to the Haskell mailing list before, but apologies if it has. This CFP has been around since October; the submission deadline is 14th Jan (abstracts). Jeremy * CALL FOR PAPERS 9th International Conference on Mathematics of Program Construction (MPC'08) Marseille (Luminy), France, July 15-18th 2008 http://mpc08.lri.fr BACKGROUND The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST '04) and Kuressaare, Estonia (2006, colocated with AMAST '06). The 2008 conferen

This message announces the Haskell98 implementation of Asai and Kameyama's polymorphic delimited continuations, with effect typing, full soundness (well-typed terms don't give any run-time exceptions), answer-type modification and polymorphism. Thanks to parameterized monads the implementation is the straightforward translation of the rules of the calculus. Parameterized monads seem to have proven their claim for syntactic sugar. http://okmij.org/ftp/Haskell/ShiftResetGenuine.hs Delimited control operators shift/reset are, fortunately, becoming popular. Alas, all widely available implementations suffer deficiencies: for example, the type system does not prevent attempts to execute shift outside the dynamic scope of reset, which leads to a run-time error. Furthermore, the implementations do not permit modifications of the answer-type, and so make impossible many elegant applications of shift/reset such as fully typed sprintf. In particular, shift id (or, shift return, in the monadic form), so often used in

Jeremy Gibbons has written a very detailed report on the 2007 Commercial Users of Functional Programming Workshop. His report is available from the CUFP web page (http:// cufp.functionalprogramming.com) as well as from the CUFP google group page (http://groups.google.com/group/cufp). Thank you, Jeremy! Peter Thiemann and his students are just finishing up the post processing of the recordings of the talks, and we are in the process of getting those talks loaded onto the web. I'll send a further announcement when the talks are available. Kathleen

===================================================== PAPP 2008 Fifth International Workshop on aPpplications of declArative and object-oriented Parallel Programming part of The International Conference on Computational Science June 23-25, 2008, Krakow, Poland http://f.loulergue.free.fr/PAPP2008 ===================================================== AIMS AND SCOPE Computational Science applications are more and more complex to develop and require more and more computing power. Parallel and grid computing are solutions to the increasing need for computing power. High level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications. Algorithmic skeletons, parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, genericity and meta-programm