- Haskell - Haskell.org

Call for Participation - PEPM'10 (co-located with POPL'10)
by voigt＠tcs.inf.tu-dresden.de 18 Nov '09

18 Nov '09

=============================================================== CALL FOR PARTICIPATION ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) Madrid, January 18-19, 2010 (Affiliated with POPL'10) http://www.program-transformation.org/PEPM10 =============================================================== Abstracts of all papers and presentations are available from the above web site. INVITED TALKS: * Lennart Augustsson (Standard Chartered Bank, UK) Title: O, Partial Evaluator, Where Art Thou? * Jeremy Siek (University of Colorado at Boulder, USA) Title: General Purpose Languages Should be Metalanguages. CONTRIBUTED TALKS: * Nabil el Boustani and Jurriaan Hage. Corrective Hints for Type Incorrect Generic Java Programs. * Johannes Rudolph and Peter Thiemann. Mnemonics: Type-safe Bytecode Generation at Run Time. * Elvira Albert, Miguel Gomez-Zamalloa and German Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. * Martin Hofmann. Igor2 - an Analytical Inductive Functional Programming System. * José Pedro Magalhães, Stefan Holdermans, Johan Jeuring and Andres Löh. Optimizing Generics Is Easy! * Michele Baggi, María Alpuente, Demis Ballis and Moreno Falaschi. A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT. * Hugh Anderson and Siau-Cheng KHOO. Regular Approximation and Bounded Domains for Size-Change Termination. * Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons and Xavier Urbain. A3PAT, an Approach for Certified Automated Termination Proofs. * Fritz Henglein. Optimizing Relational Algebra Operations Using Generic Equivalence Discriminators and Lazy Products. * Adrian Riesco and Juan Rodriguez-Hortala. Programming with Singular and Plural Non-deterministic Functions. * Martin Hofmann and Emanuel Kitzelmann. I/O Guided Detection of List Catamorphisms. * Andrew Moss and Dan Page. Bridging the Gap Between Symbolic and Efficient AES Implementations. * Christopher Brown and Simon Thompson. Clone Detection and Elimination for Haskell. * Stefan Holdermans and Jurriaan Hage. Making Stricterness More Relevant. * Arun Lakhotia, Davidson Boccardo, Anshuman Singh and Aleardo Manacero Júnior. Context-Sensitive Analysis of Obfuscated x86 Executables. * Xin Li and Mizuhito Ogawa. Conditional Weighted Pushdown Systems and Applications. * Ivan Lazar Miljenovic. The SourceGraph Program. * Florian Haftmann. From Higher-Order Logic to Haskell: There and Back Again. SPECIAL FEATURE: * Andy Gill, Garrin Kimmell and Kevin Matlage. Capturing Functions and Catching Satellites. IMPORTANT DATES: * Early registration deadline: December 22, 2009 * Hotel registration deadline: December 28, 2009

1 0

Reminder: Fun in the afternoon, MSR Cambridge, 26 Nov
by Simon Marlow 18 Nov '09

18 Nov '09

One final reminder: Fun in the Afternoon is being held at MSR Cambridge on 26 November (a week on Thursday). Details are on the web http://sneezy.cs.nott.ac.uk/fun/ If you want to come and haven't signed up yet, please email msrcevnt(a)microsoft.com with your name and affiliation. Directions can be found here: http://research.microsoft.com/en-us/labs/cambridge/visit.aspx Parking is available: please use the car park at the rear of the building. Feel free to turn up any time from 12 onwards, there are various options for getting lunch locally, and there is space to hang out near the lecture room until we start at 1pm. Cheers, Simon

1 0

ICFP '10: Second call for workshop proposals
by Wouter Swierstra 18 Nov '09

18 Nov '09

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2010 15th ACM SIGPLAN International Conference on Functional Programming September 27 - 29, 2010 Baltimore, Maryland http://www.icfpconference.org/icfp2010 The 15th ACM SIGPLAN International Conference on Functional Programming will be held in Baltimore, Maryland on September 27-29, 2010. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2010 and sponsored by SIGPLAN. These events should be more informal and focused than ICFP itself, include sessions that enable interaction among the attendees, and be fairly low-cost. The preference is for one-day events, but other schedules can also be considered. ---------------------------------------------------------------------- Submission details Deadline for submission: November 20, 2009 Notification of acceptance: December 18, 2009 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2010 workshop co-chairs (Derek Dreyer and Chris Stone), via email to icfp10-workshops at mpi-sws.org by November 20, 2009. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 18, 2009, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2010/icfp10-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://acm.org/sigplan/sigplan_workshop_proposal.htm ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2010 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Derek Dreyer (MPI-SWS) Workshop Co-Chair: Chris Stone (Harvey Mudd College) General Chair: Paul Hudak (Yale University) Program Chair: Stephanie Weirich (University of Pennsylvania) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Derek Dreyer and Chris Stone), via email to icfp10-workshops at mpi-sws.org.

1 0

job at the University of Technology in Cottbus
by Wolfgang Jeltsch 17 Nov '09

17 Nov '09

Hello, the Programming Languages and Compiler Construction Group at the University of Technology in Cottbus, Germany is seeking for a research and teaching assistent. Our focus is on declarative programming languages, so people with a strong background in functional programming might be especially interested in this position. The full announcement (in German) is at <http://tinyurl.com/btu-pscb-job-2009>. Best wishes, Wolfgang

1 0

Scottish Category Theory Seminar
by Conor McBride 17 Nov '09

17 Nov '09

******************************************************************** *** Scottish Category Theory Seminar *** First Meeting *** Friday 27 November 2009, 2pm *** University of Glasgow, Scotland ******************************************************************** Dear All, We are pleased to announce the first meeting of the Scottish Category Theory Seminar which will be a forum for discussion of all aspects of category they, be they straight category theory or applications to computer science or physics etc. We envisage meeting for an afternoon once every few months, at some congenial location in Scotland. Talks by Scots and by visitors are welcome. Please contact us if you would like to host a meeting or give a talk. Meetings are open, and all are welcome to attend. The first meeting will take on Friday 27 November at the University of Glasgow at 2pm. At the first meeting, we are pleased to announce the following invited speakers * Martin Hyland, Universty of Cambridge * Nicola Gambino, University of Palermo * Alexander Kurz, University of Leicester * Willem Bernard Heijltjes, University of Edinburgh This meeting will receive financial support from the Complex Systems Engineering theme of SICSA, the Scottish Informatics and Computer Science Alliance and from the Department of Mathematics at the University of Glasgow. More details can be found at http://personal.cis.strath.ac.uk/~ng/sct.html If you wish to attend, or want more information about the Scottish Category Theory Seminar, please email scotcats(a)cis.strath.ac.uk Neil Ghani Tom Leinster Alex Simpson

1 0

ANNOUNCE: gnome-keyring 0.1 (bindings to libgnome-keyring)
by John Millikin 17 Nov '09

17 Nov '09

The GNOME Keyring is a service for securely storing per-user secret information, such as passwords and encryption keys, on the GNOME desktop. This library is a binding to the libgnome-keyring C library. The API is still a bit too slave-ish to the original for my taste, some modules will be changing/merging in the next version. The innards are an absolute horror -- don't look too close if you're one of those people who faint at rampant unsafe casting. That said, it works surprisingly well for a first-release FFI binding -- mostly due to the excellent design of libgnome-keyring and c2hs. So if any Linux/BSD/OpenSolaris/etc users have needed secure password storage in Haskell, please try it out and let me know if you encounter any problems. Download: http://hackage.haskell.org/package/gnome-keyring/ API docs (copy of original library docs): https://dl.dropbox.com/u/1947532/gnome-keyring_0.1/index.html

1 0

ANNOUNCE: New Industrial Haskell Group membership options
by Duncan Coutts 16 Nov '09

16 Nov '09

The Industrial Haskell Group (IHG) is an organisation to support the needs of commercial users of the Haskell programming language. The second round of the IHG's collaborative development scheme will be running for 6 months from January. We are now inviting additional companies to take part. This scheme is ideal for companies that make significant use of Haskell and wish to fund specific projects. Additionally, there are new associate and academic membership options. These enable companies and academic groups to support the general health of the Haskell development platform, but with a lower financial commitment. For more details on all of the above, please see http://industry.haskell.org/ If your company or group is interested in joining then please e-mail info(a)industry.haskell.org -- Duncan Coutts, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0

Haskell Weekly News: Issue 139 - November 14, 2009
by jfredett＠gmail.com 14 Nov '09

14 Nov '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20091114 Issue 139 - November 14, 2009 --------------------------------------------------------------------------- Welcome to issue 139 of HWN, a newsletter covering developments in the [1]Haskell community. Lots of good discussion this week about everything from Monoids to Memory Leaks, Parsers (for Token Streams) and pushing Haskell onto Medical devices! I could go on some long rant rife with really righteous alliteration or a touch of timely consonance, but instead I'll leave you all, my fellow Haskellers, to read your Haskell Weekly News! Announcements Two Open PhD positions at the Technical University Munich. Axel Simon [2]announced two PhD positions are open in Low-level and High-level analysis, see the post for details. (ED: Apologies for being so late in this announcment, it slipped under my radar! ) Final CFP: WFLP 2010. Deadlines extended: Abstract due Nov 18; Full paper due Nov 25 (LNCS). Pablo Nogueira [3]announced a deadline extension for the WLFP 2010 conference, abstracts are now due November 18, and full papers by the 25th. hesql. Christoph Bauer [4]announced hesql, a preprocessor for writing SQL statements in pure haskell. dbus-core 0.6 and dbus-client 0.2. John Millikin [5]announced the second release of his dbus libraries. Changes include performance improvments, better support for byte arrays, and TCP/IP transport (though this remains untested). simple-observer-0.0.1, a simple implementation of the observer design pattern. Andy Gimblett [6]announced an implementation of the Observer pattern in Haskell ICFP 2010: Call for papers. Wouter Swierstra [7]announced a call for papers for ICFP 2010. Calling all Haskellers in Huntsville, Alabama, or surrounding areas! Jake McArthur [8]announced the formation of a new Haskell User Group in Alabama. (ED: Apparently, Shae is the Johnny Appleseed for the Haskell Community, #haskell, BAHUG, now AHUG... when will it end? ) acme-dont. Gracjan Polak [9]announced the acme-dont package, providing a vital missed feature to our language -- a don't monad. See the post for all the revolutionary details. Discussion Could someone teach me why we use Data.Monoid? Magicloud Magiclouds [10]1fa7 gmane.comp.lang.haskell.cafe/66223 asked why we use monoids so much in Haskell. Least common supertype. Sean Leather [11]posed an interesting question about 'antiunification' -- finding a common supertype of two types which is 'most-constrained'. Long running Haskell program. David Leimbach [12]asked about managing memory leaks in long running programs. Parsec - separating Parsing from Lexing. Fernando Henrique Sanches [13]asked about using Parsec to parse a Token Stream. Help Haskell driving Medical Instruments. Philippos Apolinarius [14]talked about using Haskell to drive medical instruments. Blog noise [15]Haskell news from the [16]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Neil Brown: [17]The Observer Pattern using a Broadcast Channel. * Martijn van Steenbergen: [18]GADTs in Haskell 98. * Mikael Vejdemo Johansson (Syzygy-): [19][MATH198] Multiple lectures posted. * Andy Gill: [20]LAMBDA this week â ChalkBoard. * London Haskell Users Group: [21]Functional Programming Exchange. * Neil Brown: [22]The Observer Pattern using a Message-Passing Process. * Luke Plant: [23]Is static type checking a redundant testing mechanism?. * Twan van Laarhoven: [24]Four ways to fold an array. * Martin Sulzmann: [25]Tag-free Combinators for Binding-Time Polymorphic Program Generation. * Luke Palmer: [26]Collision Detection with Enneatrees. * Dan Piponi (sigfpe): [27]Memoizing Polymorphic Functions with High School Algebra and Quantifiers. * Luke Plant: [28]Haskell blog software. Quotes of the Week * c2.com: If you can program anything in HappS you actually already learned Haskell * Cale: Chew new Lasty ST Gum! It lasts until _|_! * danderson: [using unsafeFreeze for an ST action] that sounds like a way to shoot myself in the foot with high efficiency, given my knowledge of haskell. * BONUS: C++ is saner than something? imo C++ is like the guy that goes around shouting "I am napoleon!!!" * kmc:: (): worst monoid ever * DanWeston: Bottom has only one value, not two. Otherwise bottom would have been called buttocks. About the Haskell Weekly News New editions are posted to [29]the Haskell mailing list as well as to [30]the Haskell Sequence and [31]Planet Haskell. [32]RSS is also available, and headlines appear on [33]haskell.org. To help create new editions of this newsletter, please see the information on [34]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [35]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 . References 1. http://haskell.org/ 2. http://www.mail-archive.com/haskell@haskell.org/msg22432.html 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66215 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66184 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66110 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66103 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66021 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66018 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65958 10. http://thread.gmane.org/ 11. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66080 12. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66056 13. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66012 14. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/65996 15. http://planet.haskell.org/ 16. http://haskell.org/haskellwiki/Blog_articles 17. http://chplib.wordpress.com/2009/11/12/the-observer-pattern-using-a-broadca… 18. http://martijn.van.steenbergen.nl/journal/2009/11/12/gadts-in-haskell-98/ 19. http://blog.mikael.johanssons.org/archive/2009/11/math198-multiple-lectures… 20. http://www.ittc.ku.edu/csdlblog/?p=16 21. http://www.londonhug.net/2009/11/10/functional-programming-exchange/ 22. http://chplib.wordpress.com/2009/11/10/the-observer-pattern-using-a-message… 23. http://lukeplant.me.uk/blog/posts/is-static-type-checking-a-redundant-testi… 24. http://twan.home.fmf.nl/blog/haskell/four-ways-to-fold.details 25. http://sulzmann.blogspot.com/2009/11/tag-free-combinators-for-binding-time.… 26. http://lukepalmer.wordpress.com/2009/11/08/collision-detection-with-enneatr… 27. http://blog.sigfpe.com/2009/11/memoizing-polymorphic-functions-with.html 28. http://lukeplant.me.uk/blog/posts/haskell-blog-software/ 29. http://www.haskell.org/mailman/listinfo/haskell 30. http://sequence.complete.org/ 31. http://planet.haskell.org/ 32. http://sequence.complete.org/node/feed 33. http://haskell.org/ 34. http://haskell.org/haskellwiki/HWN 35. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2

1 0

Final CFP: WFLP 2010. Deadlines extended: Abstract due Nov 18; Full paper due Nov 25 (LNCS)
by Pablo Nogueira 13 Nov '09

13 Nov '09

[Deadlines extended: Abstract due Nov 18; Full paper due Nov 25] ******************************************************************** Final Call For Papers 19th International Workshop on Functional and (Constraint) Logic Programming Madrid, Spain, January 17, 2010 http://babel.ls.fi.upm.es/events/wflp2010/ ********* colocated with Principles of Programming Languages POPL 2010 http://www.cse.psu.edu/popl/10/ ******************************************************************** IMPORTANT DATES Abstract Submission: November 18, 2009 **extended** Full Paper Submission: November 25, 2009 **extended** Acceptance Notification: December 20, 2009 Preliminary Proceedings: January 7, 2010 Workshop: January 17, 2010 SCOPE The aim of the Workshop on Functional and (Constraint) Logic Programming is to bring together researchers interested in functional programming and (constraint) logic programming with special emphasis on the integration of both paradigms and of other declarative programming extensions. 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 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), 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 2010 will be held on January 17, 2010 in Madrid, Spain, colocated with the 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2010). WFLP 2010 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, logic variables, binding and abstract syntax, rewriting and narrowing, unification, constraint solving, dynamics, type theory, meta-theory, effects, etc. * Language Design: security, services, modules, type systems, multi-paradigm languages, concurrency and distribution, objects, libraries, generic programming, interoperability, etc. * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, foreign-language interfaces, memory management, multi-threading, exploiting parallel hardware, etc. * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, program calculation, program proof, meta-programming, generative programming, etc. * Software Development: algorithms, data structures, design patterns, components and composition, specification, proof assistants, verification and validation, model checking, debugging, testing, profiling, tracing, etc. * Paradigm Integration: integration of declarative programming with other paradigms or features such as imperative, object-oriented, aspect-oriented, concurrent, real-time programming, event-driven architectures, etc. * Applications: education, industry, commercial uses, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, XML processing, artificial intelligence, knowledge representation and machine learning, deductive databases, advanced programming environments and tools, etc. SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers presenting original unpublished work. Papers must be at most 15 pages long. Exceptionally, authors may surpass the page limit by providing well-marked appendices intended as reviewing aids. Appendices will not appear in the final publication. Submission categories include regular research papers, system descriptions, and short papers describing on-going work (at most 8 pages). Submissions must be formatted in Lecture Notes in Computer Science (LNCS) style. This requirement needs not apply to appendices. Papers should be submitted in pdf format electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wflp2010 Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. Contributions accepted for the post-workshop proceedings will be published in Springer's Lecture Notes in Computer Science series. INVITED SPEAKER Mariangiola Dezani (University of Torino, Italy) PROGRAM CHAIR Julio Marino (Universidad Politecnica de Madrid, Spain) PROGRAM COMMITTEE Maria Alpuente (Universidad Politecnica de Valencia, Spain) Sergio Antoy (Portland State University, USA) Bernd Brassel (CAU Kiel, Germany) Olaf Chitil (Univ. of Kent, UK) Rachid Echahed (CNRS-IMAG, France) Santiago Escobar (Universidad Politecnica de Valencia, Spain) Moreno Falaschi (Universita di Siena, Italy) Murdoch Gabbay (Heriot-Watt University, UK) Maria Garcia de la Banda (Monash University, Australia) Victor Gulias (Lambdastream SL, Spain) Michael Hanus (CAU Kiel, Germany) Herbert Kuchen (Univ. of Muenster, Germany) Francisco Lopez-Fraguas (Universidad Complutense de Madrid, Spain) James Lipton (Wesleyan University, USA) Mircea Marin (Univ. of Tsukuba, Japan) Juan Jose Moreno-Navarro (Ministry of Science & Innovation, Spain) Brigitte Pientka (McGill University, Canada)

1 0

ANNOUNCE: dbus-core 0.6 and dbus-client 0.2
by John Millikin 12 Nov '09

12 Nov '09

This is the second public release of my D-Bus implementation. dbus-core is an implementation of the D-Bus protocol, and dbus-client is a set of wrappers and utility computations to simplify writing basic clients. Interesting changes to dbus-core ================================ * Performance improvements: sending and receiving large structures should now be significantly faster. My thanks and appreciation go to Bryan O'Sullivan, whose excellent Criterion library made benchmarking the serialisation code much easier than it had any right to be. * Better support for byte arrays: byte strings (strict and lazy) are now directly supported types, with special cases to avoid most conversion overhead. * Implemented the TCP/IP transport, though it's untested because I can't figure out how to make the server listen on a socket. If anybody cares about remote D-Bus, and this doesn't work, drop me a mail with your configuration and I'll find out why. * Added module to represent "match rules", required for full signal support. * Added module for name reservations -- this is really just moving the bulk of the code from dbus-client into dbus-core, where it belongs. * Fixed possible concurrency issue when receiving messages from a connection in multiple threads. This is still a really bad idea, and it will never work correctly, but at least now it won't corrupt the connection state. Interesting changes to dbus-client ================================== * Fixed dumb signature to mkClient (thanks, Max). Its purpose should now be more obvious. * Shifted around some of the method call APIs -- it's now possible to send method calls without a proxy. * Uses the new MatchRule work to fully support receiving signals. Documentation ============= PDFs of the source; these are the most useful and complete documentation currently available: https://dl.dropbox.com/u/1947532/dbus-core_0.6.pdf https://dl.dropbox.com/u/1947532/dbus-client_0.2.pdf An API listing is also available, good for a quick overview: https://dl.dropbox.com/u/1947532/dbus-core_0.6/index.html https://dl.dropbox.com/u/1947532/dbus-client_0.2/index.html Hackage is currently experiencing some dependency conflicts with the "bytestring" library[1], so it's not generating its own documentation. I'll keep the dropbox pages up until Hackage is in a more usable state. Downloads ========= Available from the usual places: http://hackage.haskell.org/packages/archive/dbus-core/0.6/dbus-core-0.6.tar… http://hackage.haskell.org/packages/archive/dbus-client/0.2/dbus-client-0.2… [1] "binary" uses bytestring-0.9.1.4, "text" uses bytestring-0.9.1.5, kaboom

1 0