November 2009 - Haskell

GPCE'10 First Call for Papers
by Bruno Oliveira 26 Nov '09

26 Nov '09

Hi all, Haskell is a great language for developing generative programming tools and developing highly expressible and reusable components (think of all the cool uses of type classes, type families or GADTs). The GPCE conference is interested to hear about cutting-edge techniques of generative and component-based software. You can show what Haskell can do in this area by submitting a research paper or a tool demonstration to GPCE! ------------------------------------------------------------------------ CALL FOR PAPERS Ninth International Conference on Generative Programming and Component Engineering (GPCE 2010) October 10-13, 2010 Eindhoven, The Netherlands (co-located with SLE 2010) http://www.gpce.org ------------------------------------------------------------------------ IMPORTANT DATES * Submission of abstracts: May 17, 2010 * Submission of papers: May 24, 2010 * Author notification: Jul 5, 2010 SCOPE Generative and component approaches are revolutionizing software development similar to how automation and components revolutionized manufacturing. Generative Programming (concerning programs that synthesize other programs), Component Engineering (concerning modularity in application design), and Domain-Specific Languages (DSLs) (concerning compact domain-specific notations for expressing programs) are key technologies for automating program development. The International Conference on Generative Programming and Component Engineering is a venue for researchers and practitioners interested in techniques that, through deploying components and program generation, increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative and component-based software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. SUBMISSIONS Research papers: 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting original research results that contribute to scientific knowledge in the areas listed below (the PC chair can advise on appropriateness). Tool demonstrations: Tool demonstrations should present tools that implement novel generative and component-based software engineering techniques, and are available for use. Any of the GPCE'10 topics of interest are appropriate areas for research demonstrations. Purely commercial tool demonstrations will not be accepted. Submissions should contain a tool description of 4 pages in SIGPLAN proceedings style (sigplanconf.cls) and a demonstration outline of up to 2 pages text plus 2 pages screen shots. The four page description will, if the demonstration is accepted, be published in the proceedings. The 2+2 page demonstration outline will only be used by the PC for evaluating the submission. TOPICS GPCE seeks contributions in software engineering and in programming languages related (but not limited) to: * Generative programming o Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, step-wise refinement, generic programming o Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, program transformation o Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for o Product-line architectures o Distributed, real-time and embedded systems o Model-driven development and architecture o Resource bounded/safety critical systems. * Component-based software engineering o Reuse, distributed platforms and middleware, distributed systems, evolution, patterns, development methods, deployment and configuration techniques, formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis o Domain-specific languages including visual and UML-based DSLs * Separation of concerns o Aspect-oriented and feature-oriented programming, o Intentional programming and multi-dimensional separation of concerns * Industrial applications of the above Submissions must adhere to SIGPLAN's republication policy. Please contact the program chair if you have any questions about how this policy applies to your paper (chairs(a)gpce.org) ORGANIZATION General Chair: Eelco Visser (Delft University of Technology, The Netherlands) Program Chair: Jaakko J‰rvi (Texas A&M University, USA) Publicity Chair: Giorgios Economopoulos (University of Southampton, UK) Program Committee * Sven Apel (University of Passau, Germany) * Don Batory (University of Texas, USA) * Martin Bravenboer (LogicBlox, USA) * Krzysztof Czarnecki (University of Waterloo, Canada) * Charles Consel (INRIA / LaBRI, France) * Gabriel Dos Reis (Texas A&M University, USA) * Ewen Denney (RIACS/NASA Ames, USA) * Ronald Garcia (Carnegie Mellon University, USA) * Magne Haveraaen (University of Bergen, Norway) * Johan Lilius (≈bo Akademi University, Finland) * Andres Lˆh (Utrecht University, The Netherlands) * Mat Marcus (Canyonlands Software Design, USA) * Marjan Mernik (University of Maribor, Slovenia) * Klaus Ostermann (University of Marburg, Germany) * Bruno C. d. S. Oliveira (Seoul National University, Korea) * Hridesh Rajan (Iowa State University, USA) * Sukyoung Ryu (Korea Advanced Institute of Science and Technology) * Jo„o Saraiva (Minho University, Portugal) * Sibylle Schupp (Hamburg University of Technology, Germany) * Kwang Yi (Seoul National University, Korea) * Mirko Viroli (University of Bologna, Italy) * Alessandro Warth (Viewpoints Research Institute, USA) * Edwin Westbrook (Rice University, USA) * Jeremiah Willcock (Indiana University, USA)

1 0

Call for Participation: TLDI'10
by Andrew Kennedy 25 Nov '09

25 Nov '09

********************************************************************* CALL FOR PARTICIPATION TLDI 2010 ACM SIGPLAN Workshop on Types in Language Design and Implementation 23 January 2010 Madrid, Spain To be held in conjunction with POPL 2010 http://research.microsoft.com/~akenn/tldi2010/ ********************************************************************* IMPORTANT DATES Hotel reservation deadline: December 28, 2009 (Monday) VENUE TLDI'10 and all POPL'10 affiliated events will take place at the Melia Castilla Hotel, Madrid. REGISTRATION To register for TLDI'10, follow the link from the POPL 2010 page, at http://www.cse.psu.edu/popl/10/ SCOPE The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. INVITED SPEAKER Matthias Felleisen, Northeastern University, Boston PRELIMINARY PROGRAM ---------------------- Opening remarks: 9:20-9:30 Invited talk 9:30-10:30 *** Adding Types to Untyped Languages Matthias Felleisen, Northeastern University, Boston ---------------------- ** Session I 11:00-12:30 *** Effects for Cooperable and Serializable Threads Jaeheon Yi and Cormac Flanagan *** Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas *** Distributed programming with distributed authorization Kumar Avijit, Anupam Datta and Robert Harper ---------------------- ** Session II 2:30-4:00 *** let should not be generalized Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers *** Pointwise Generalized Algebraic Data Types Chuan-kai Lin and Tim Sheard *** Verifying Event-Driven Programs using Ramified Frame Properties Neelakantan Krishnaswami, Lars Birkedal and Jonathan Aldrich ---------------------- ** Session III 4:30-5:30 *** Lightweight Linear Types in System F^o Karl Mazurak, Jianzhou Zhao and Steve Zdancewic *** F-ing Modules Andreas Rossberg, Claudio Russo and Derek Dreyer ---------------------- GENERAL CHAIR Andrew Kennedy, Microsoft Research, Cambridge PROGRAM CHAIR Nick Benton, Microsoft Research, Cambridge PROGRAM COMMITTEE Gilles Barthe, IMDEA Software, Spain Viviana Bono, University of Torino, Italy Giorgio Ghelli, University of Pisa, Italy Dan Grossman, University of Washington, USA Atsushi Igarashi, Kyoto University, Japan Conor McBride, University of Strathclyde, UK Jeremy Siek, University of Colorado at Boulder, USA Zhong Shao, Yale University, USA Matthieu Sozeau, Harvard University, USA Chris Stone, Harvey Mudd College, USA Kristian Støvring, ITU Copenhagen, Denmark

1 0

inline assembly a la gcc
by Piyush P Kurur 25 Nov '09

25 Nov '09

Is there a way in which I can interface GHC with assembly language ? Of course I can create a stub C function which using inline assembly, compile it with GCC, and crankin the FFI of GHC. But is there a more direct way ? I would like to try coding, (or steal from some open source implementation) up some crypto hash functions in assembly and compare it with a direct GHC implementation. I will be happy if there is a way of avoiding assembly all together and work with GHC internals like Int# etc. which gives me almost assembly speed. Regards ppk

2 1

Announcing Haskell 2010
by Simon Marlow 24 Nov '09

24 Nov '09

I'm very proud to announce a new revision of the Haskell language, Haskell 2010. Over the last couple of months the committee has been making final decisions about which extensions should be a part of this revision. The final list is: DoAndIfThenElse HierarchicalModules EmptyDataDeclarations FixityResolution ForeignFunctionInterface LineCommentSyntax PatternGuards RelaxedDependencyAnalysis LanguagePragma NoNPlusKPatterns You can read more about each one, including rationale for and against, on its relevant wiki page, which are linked from the tickets: http://hackage.haskell.org/trac/haskell-prime/query?status=new&status=assig… Haskell 2010 is a small but significant step on the road that was started by the Haskell' committee 4 years ago, The process has not been a smooth one, and there have been several changes of direction, but the current process is actually producing concrete results that let us move the language forward in positive steps, so I feel we're on the right track. We all owe the current committee a big thank-you for sticking with the process this long: most of them didn't realise the magnitude of what they were signing up for at the beginning. The short list of changes above tells only a small part of the story, there is a wealth of wiki content and mailing-list discussion that future language revisions can draw on. So what now? * We will produce a revised version of the Haskell language report incorporating these changes. That will happen over the next few months. * Compilers can start implementing the changes, and flags to select the Haskell 2010 revision. In GHC we expect to have support in the next major release, i.e. 6.14.1. * Right now, we will start forming a Haskell 2011 committee to mange the process of deciding on changes for next year's revision. The current committee is still discussing how to go about finding a new committee (the plan is to at least have open nominations) but I expect to be able to announce more details very soon. * Everyone can participate in the Haskell 2011 process, by discussing and refining proposals. Information about how to do that is on the Haskell Prime wiki: http://hackage.haskell.org/trac/haskell-prime/wiki Remember: this is a community effort. The changes that get adopted in each revision are drawn from the pool of fully-specified proposals, and those proposals can be written by anyone. Thanks, Simon, on behalf of the Haskell 2010 committee

4 3

Deadline Extension: JSC Special Issue on Automated Specification and Verification of Web Systems
by demis＠dimi.uniud.it 23 Nov '09

23 Nov '09

[Apologies for multiple copies] ======================================================================== JOURNAL OF SYMBOLIC COMPUTATION Special Issue on Automated Specification and Verification of Web Systems ======================================================================== EXTENDED DEADLINES --------------- * Submission of papers: December 7, 2009. * Notification of acceptance/rejection: March 29, 2010. For the details, please visit the web page: http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-wwv.html

1 0

VSTTE 2010: Verified Software -- Second Call for Papers
by Gudmund Grov 23 Nov '09

23 Nov '09

(Apologies if you receive multiple copies of this announcement) ***************************************************************** Third International Conference on Verified Software: Theories, Tools, and Experiments Call for Conference & Workshop Papers Edinburgh, Scotland August 16th-19th, 2010 http://www.macs.hw.ac.uk/vstte10 SPONSORS National Science Foundation (NSF) EPSRC Microsoft Research Scottish Informatics & Computer Science Alliance (SICSA) To become a sponsor see: http://www.macs.hw.ac.uk/vstte10/Sponsors.html ****************************************************************** The Third International Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich (2005) and a successful conference in Toronto (2008). This conference is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. VSI also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems Evolution. VSTTE is open to anyone who is interested in participating actively in the VSI effort. SCOPE The goal of this conference is to advance the state of the art in the science and technology of software verification through the interaction of theory development, tool evolution, and experimental validation. Authors are encouraged to submit work in progress, particularly if the work involves collaboration, theory unification, and tool integration. Topics of interest include requirements modeling specification languages specification/verification case-studies formal calculi programming languages language semantics software design methods software testing automatic code generation refinement methodologies type systems computer security verification tools (static analysis, dynamic analysis, model checking, theorem proving, satisfiability) tool integration benchmarks challenge problems integrated verification environments We also encourage researchers to submit challenges in theory, formalization, systems verification, code verification, and applications. Contributions relating to existing challenges will also be welcomed, i.e. * POPLMark (http://tinyurl.com/poplmark) * Tokeneer (http://www.adacore.com/home/products/sparkpro/tokeneer) * POSIX file system (http://tinyurl.com/qyzqk9) * medical devices (http://tinyurl.com/pnztqb) VENUE VSTTE 2010 is being hosted by Heriot-Watt University in Edinburgh. The conference dates coincide with the 2010 Edinburgh International Festival and the Edinburgh Festival Fringe -- collectively the largest annual arts festival on the planet! The technical programme will take place in the Edinburgh Conference Centre (Riccarton campus), where accommodation will be available at very competitive rates for festival time. Social events will be arranged within the city centre, making VSTTE an unique cultural and scholarly event for 2010! INVITED SPEAKERS * Tom Ball (Microsoft Research, Redmond) * Gerwin Klein (National ICT Australia) * Matthew Parkinson (University of Cambridge) SUBMISSIONS Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions are limited to 15 proceedings pages in LNCS format and must include a cogent and self-contained description of the ideas, methods and results, together with a comparison to existing work. System descriptions are also limited to 15 proceedings pages in LNCS format. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers can be submitted at https://www.easychair.org/login.cgi?conf=vstte10. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The proceedings of VSTTE 2010 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer llncs class files, obtainable from http://www.springer.de/comp/lncs/authors.html , is strongly encouraged. WORKSHOPS In addition to the main conference, VSTTE will host two workshops on August 19th -- a workshop on Theory chaired by David Naumann and Hongseok Yang and a workshop on Tools & Experiments chaired by Tiziana Margaria and Rajeev Joshi. The workshops will provide a forum to present new, possibly unfinished work and will also give the opportunity to propose research challenges, which will help form a research agenda for the Verified Software Initiative. IMPORTANT DATES March 29 2010: Conference paper submission deadline May 10 2010: Decisions on papers May 21 2010: Workshop paper submission June 1 2010 Final conference paper versions due June 23 2010: Final workshop paper version August 16-18 2010: Main conference August 19 2010: Workshops CONFERENCE CHAIR Andrew Ireland (Heriot-Watt University; A.Ireland(a)hw.ac.uk) PROGRAM CHAIRS Peter O'Hearn (Queen Mary, University of London; ohearn(a)dcs.qmul.ac.uk) Gary T. Leavens (University of Central Florida; leavens(a)eecs.ucf.edu) Sriram Rajamani (Microsoft Research; sriram(a)microsoft.com) WORKSHOP GENERAL CHAIR Peter Mueller (ETH Zurich; peter.mueller(a)inf.ethz.ch) THEORY WORKSHOP CHAIRS David Naumann (Stevens Institute of Technology; dnaumann(a)stevens.edu) Hongseok Yang (Queen Mary, University of London; hyang(a)dcs.qmul.ac.uk) TOOLS & EXPERIMENTS WORKSHOP CHAIRS Rajeev Joshi (NASA JPL; rajeev.joshi(a)jpl.nasa.gov) Tiziana Margaria (Universit√§t Potsdam; margaria(a)cs.uni-potsdam.de) PUBLICITY CHAIR Gudmund Grov (Edinburgh University; ggrov(a)inf.ed.ac.uk) LOCAL ARRANGEMENT CHAIR Ewen Maclean (Heriot-Watt University; E.A.H.Maclean(a)hw.ac.uk) CONFERENCE PROGRAM COMMITTEE Ahmed Bouajjani Leo Freitas Philippa Gardner John Hatcliff Ranjit Jhala Joseph Kiniry Rustan Leino Xavier Leroy David Naumann Matthew Parkinson Wolfgang Paul Shaz Qadeer Andrey Rybalchenko Augusto Sampaio Zhong Shao Aaron Stump Serdar Tasiran Willem Visser Chin Wei-Ngan Stephanie Weirich Greta Yorsh STEERING COMMITTEE Tony Hoare Jay Misra Natarajan Shankar Jim Woodcock

1 0

ANN: GPipe-1.1.0 with greatly improved performance
by Tobias Bexelius 22 Nov '09

22 Nov '09

Hi, GPipe 1.1.0 is now available on Hackage. This update includes the following: * BIG performance increase: The previous shader cache keys grew exponential in size in relation to the GPipe program. This is now fixed with a completely new shader generator so the cache key sizes are linear relative to the program. In addition, the cache now uses patricia trees instead of an ordinary map, which will be a big performance win in programs with many shaders. In the simple example on http://www.haskell.org/haskellwiki/GPipe I got an performance increase of factor 2.7(!), and expect it to be even larger for more complex programs. * Other minor fixes: Fixed so min, max, abs and sign no longer works on Vertex Int and Fragment Int types, since its not supported in GLSL 1.20. Reexport of Vec-Boolean instances so you dont need to import that package on its own any more. Added IfB instances for the associated type Color. Cheers Tobias _________________________________________________________________ Nya Windows 7 gör allt lite enklare. Hitta en dator som passar dig! http://windows.microsoft.com/shop

1 0

Haskell Weekly News: Issue 140 - November 22, 2009
by jfredett＠gmail.com 21 Nov '09

21 Nov '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20091122 Issue 140 - November 22, 2009 --------------------------------------------------------------------------- Welcome to issue 140 of HWN, a newsletter covering developments in the [1]Haskell community. Apologies for the somewhat late edition, I got back late from the NES/MAA conference yesterday in Springfield, MA, and was generally too exhausted from all the math competing and giving of talks that HWN could not compete with the appeal of sleeping... This week there was a new edition of the HCAR, plenty of good discussion about Iteratee's and the Type Directed Name Resolution proposal, altogether a busy week. So here it is, your Haskell Weekly News! Announcements [BostonHaskell] Next meeting: November 24th at MIT (32-G882). Ravi Nanavati [2]announced the next meeting of BAHUG. Haskell Communities and Activities Report (17th ed., November 2009). Janis Voigtlaender [3]announced the new edition of the Haskell Communities and Activities Report. Call for Participation - PEPM'10 (co-located with POPL'10). Janis Voigtlaender [4]announced a call for participation for PEPM 2010. LambdaCube engine and Bullet physics binding. Csaba Hruska [5]announced a binding to the LambdaCube and Bullet engines. ICFP '10: Second call for workshop proposals. Wouter Swierstra [6]announced a second call for workshop proposals for ICFP 2010. deepseq-1.0.0.0. Simon Marlow [7]announced version 1.0.0.0 of `deepseq` wcwidth-0.0.1. Jason Dusek [8]announced a small package which provides binding to wchar.h, which assigns a column width to unicode characters. gnome-keyring 0.1 (bindings to libgnome-keyring). John Millikin [9]announced a set of bindings to the GNOME keyring libraries. attempt. Michael Snoyman [10]announced a new release of the `attempt` package. control-monad-failure and safe-failure. Michael Snoyman [11]also announced a new version of `control-monad-failure` and `safe-failure`. Announcing the GHC Bug Sweep. Simon Marlow [12]announced the GHC bug sweep, to help weed out the GHC Trac of old bugs, and also to get warm fuzzy feelings from helping everyone's favorite compiler devs. New Industrial Haskell Group membership options. Duncan Coutts [13]announced some new membership options for the the Industrial Haskell Group (IHG) bindings-SDL 1.0.2, the domain specific language for FFI description. Mauricio Antunes [14]announced a new version of the bindings-SDL package. wxHaskell 0.12.1.2. Jeremy O'Donoghue [15]announced a release of the wxHaskell package, including new improved support for installation via cabal on any system, with only a minor caveat on Windows. TFP 2010 - Call for Papers. TFP 2010 [16]announced a call for papers for TFP 2010, the 11th symposium on Trends in Functional Programming. Reminder: Fun in the afternoon, MSR Cambridge, 26 Nov. Simon Marlow [17]announced a final reminder for the `Fun in the Afternoon` meeting, which will be at MSR Cambridge on the 26th of November (ED: Thanksgiving for us Americans, if only there were some way to combine turkey-oriented gluttony with Functional programming...). Job at the University of Technology in Cottbus. Wolfgang Jeltsch [18]announced a job opening at the University of Technology in Cottbus. Scottish Category Theory Seminar. Conor McBride [19]announced the first meeting of Scottish Category Theory Seminar, a forum for discussion of all aspects of Category Theory, be they pure or applied. (ED: I am fighting very hard to not make some sort of Braveheart Joke...) Discussion Iteratee question. Valery V. Vorotyntsev [20]asked about using iteratee's in his binary data parser code. Haskell as an alternative to Java. Philippos Apolinarius [21]wondered whether Haskell would make for a good Java alternative. Status of TypeDirectedNameResolution proposal? Levi Greenspan [22]asked about the status of the TDNR proposal. Typef*ck: Brainf*ck in the type system. Johnny Morrice [23]showed us his implementation of everyone's favorite profane programming language... in the type system. Could someone teach me why we use Data.Monoid? Magicloud Magiclouds [24]requested some insight to why we use monoids so much in Haskell, leading to a fantastic discussion of all the myriad places Monoids pop up in both Haskell and in Math in general. Blog noise [25]Haskell news from the [26]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Neil Brown: [27]The Operators and Monoids of CHP. * Philip Wadler: [28]A list is an odd creature, take 2. * Darcs: [29]darcs hacking sprint 3 report. * Mikael Vejdemo Johansson (Syzygy-): [30][MATH198] Lecture 9 posted and lectured. * Gergely Patai: [31]LambdaCube and Bullet on Hackage at last. * David Amos: [32]Three new modules in HaskellForMaths. * Darcs: [33]darcs weekly news #46. * Christophe Poucet (vincenz): [34]Setting up iptables to throttle incoming ssh. * Ivan Lazar Miljenovic: [35]Waddaya know, testing WORKS!. * Neil Mitchell: [36]Reviewing View Patterns. * Neil Brown: [37]An Introduction to Communicating Sequential Processes. * Joachim Breitner: [38]Darcs Hacking Sprint: Mission Complete. * Ivan Lazar Miljenovic: [39]Past, Present and PEPM. * Erik de Castro Lopo: [40]Hacking DDC.. * Dan Piponi (sigfpe): [41]Haskell Monoids and their Uses. * Joachim Breitner: [42]Arrived at the Darcs hacking sprint. Quotes of the Week * Apocalisp: You can't have your baby and eat it too * tensorpudding: so you boil lisp for an hour to sift out the parentheses and impurities, make a whitespace sauce with liberal syntactic sugar, and you have haskell a la mode * ddarius: I'm not aware of anything (including C++) that can seamlessly talk to C++ code. * ksf: is Data.Data.Data some kind of reference to swedish chefs? * IceDane: [on escaping an imperative mindset]: <kmc> i recommend heavy drinking <IceDane> I've tried that. I just have fun and wake up and feel like shit the day after. but still think in loops. * jpet: Ok, after studying the generated core a bit, I can conclude that generated core is somewhat hard to follow. * Adamant: [on the update complexity of Data.Map] I read that as 'Oleg(n)' * skorpan: I did not have impure relations with that language About the Haskell Weekly News New editions are posted to [43]the Haskell mailing list as well as to [44]the Haskell Sequence and [45]Planet Haskell. [46]RSS is also available, and headlines appear on [47]haskell.org. To help create new editions of this newsletter, please see the information on [48]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [49]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66609 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66594 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66530 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66523 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66510 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66445 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66441 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66440 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66413 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66408 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66396 13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66395 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66383 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66279 16. http://thread.gmane.org/gmane.comp.lang.haskell.general/17631 17. http://article.gmane.org/gmane.comp.lang.haskell.general/17627 18. http://article.gmane.org/gmane.comp.lang.haskell.general/17625 19. http://article.gmane.org/gmane.comp.lang.haskell.general/17623 20. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66601 21. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66511 22. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66431 23. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66398 24. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66223 25. http://planet.haskell.org/ 26. http://haskell.org/haskellwiki/Blog_articles 27. http://chplib.wordpress.com/2009/11/20/the-operators-and-monoids-of-chp/ 28. http://wadler.blogspot.com/2009/11/list-is-odd-creature-take-2.html 29. http://blog.darcs.net/2009/11/darcs-hacking-sprint-3-report.html 30. http://blog.mikael.johanssons.org/archive/2009/11/math198-lecture-9-posted-… 31. http://just-bottom.blogspot.com/2009/11/lambdacube-and-bullet-on-hackage-at… 32. http://haskellformaths.blogspot.com/2009/11/three-new-modules-in-haskellfor… 33. http://blog.darcs.net/2009/11/darcs-weekly-news-46.html 34. http://blog.poucet.org/2009/11/setting-up-iptables-to-throttle-incoming-ssh/ 35. http://ivanmiljenovic.wordpress.com/2009/11/17/waddaya-know-testing-works/ 36. http://neilmitchell.blogspot.com/2009/11/reviewing-view-patterns.html 37. http://chplib.wordpress.com/2009/11/16/an-introduction-to-communicating-seq… 38. https://www.joachim-breitner.de/blog/archives/350-Darcs-Hacking-Sprint-Miss… 39. http://ivanmiljenovic.wordpress.com/2009/11/15/past-present-and-pepm/ 40. http://www.mega-nerd.com/erikd/Blog/CodeHacking/DDC/hacking_ddc.html 41. http://blog.sigfpe.com/2009/01/haskell-monoids-and-their-uses.html 42. https://www.joachim-breitner.de/blog/archives/349-Arrived-at-the-Darcs-hack… 43. http://www.haskell.org/mailman/listinfo/haskell 44. http://sequence.complete.org/ 45. http://planet.haskell.org/ 46. http://sequence.complete.org/node/feed 47. http://haskell.org/ 48. http://haskell.org/haskellwiki/HWN 49. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2

1 0

ANNOUNCE: Haskell Communities and Activities Report (17th ed., November 2009)
by voigt＠tcs.inf.tu-dresden.de 20 Nov '09

20 Nov '09

On behalf of the many, many contributors, I am pleased to announce that the Haskell Communities and Activities Report (17th edition, November 2009) http://www.haskell.org/communities/ is now available from the Haskell Communities home page in PDF and HTML formats. Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. I hope you will find it as interesting a read as I did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline ;-) to the call. The editor collects all the contributions into a single report and feeds that back to the community. When I try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ---------------------------------------- End of April 2010: target deadline for contributions to the May 2010 edition of the HC&A Report ---------------------------------------- Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editor for a simple e-mail reminder in October (you could point me to them as well, and I can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender <hcar at haskell.org>

2 1

TFP 2010 - Call for Papers
by TFP 2010 20 Nov '09

20 Nov '09

TFP 2010: 11th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING May 17-19, 2010 University of Oklahoma http://www.cs.ou.edu/tfp2010/ The Program Committee for TFP 2010 seeks papers on trends in functional programming. The symposium is an international forum for researchers with interests in all aspects of functional programming. It embraces a broad view of current and future trends in functional programming and aspires to be a lively environment for presenting the latest research results. TFP considers both full papers and extended abstracts for presentation at the symposium. A formal refereeing process after the symposium selects the best presentations for publication in a high-profile volume. IMPORTANT DATES * Apr 2: Submission of papers and abstracts * Apr 14: Notification of acceptance * May 7: Camera-ready, full papers for draft proceedings * May 17-19: TFP Symposium SCOPE OF THE SYMPOSIUM Articles must be original and not submitted to any other forum for publication. They may consider any aspect of functional programming. Theory, implementation, experience, applications, and the use of functional programming methods in other languages all lie within the scope of the symposium. Articles may fall in any of the following categories: * Research: leading-edge, previously unpublished research * Position: advocating or critiquing new trends * Project: descriptions of new or recently initiated projects * Evaluation: lessons drawn from completed projects * Overview: summaries of trendy work A list of suggested topics and other details concerning submissions can be found on the symposium website: http://www.cs.ou.edu/tfp2010/call.html#topics The suggested topics are extensive but by no means exhaustive. Please contact the program chair, Rex Page, tfp2010(a)cs.ou.edu, if you are in doubt about whether your topic is within the TFP scope. BEST STUDENT PAPER AWARD TFP traditionally pays special attention to research conducted by students, acknowledging that students commonly develop new subject trends. A prize for the best student paper is awarded each year. SUBMISSION AND DRAFT PROCEEDINGS Full papers (up to 15 pages) and extended abstracts (3 to 6 pages, to be expanded to full papers if accepted) submitted for presentation at the symposium are screened by the program committee. A draft proceedings available at the conference will contain all accepted papers and all accepted abstracts that have been expanded to full papers. Each submission must declare its category (research, position, project, evaluation, or overview). Authors who are students should so indicate when they submit their article. The Program Committee will provide extra feedback for student papers to help compensate for differences between students and other researchers in experience with the publication process. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we intend to continue the TFP tradition of publishing a high-quality volume containing the best papers from the symposium. All TFP authors will be invited to submit revised papers after the symposium. These will be refereed using normal conference standards, and the best papers will be selected for publication. Papers will be judged on their contributions with appropriate criteria applied to each category of paper. Rex Page, University of Oklahoma, Program Chair Viktória Zsók and Zoltán Horvath, Eötvös Loránd University, Symposium Co-Chairs Program Committee Peter Achten, Radboud University Nijmegen, NL Emil Axelsson, Chalmers University of Technology, SE Francesco Cesarini, Erlang Training and Consulting Ltd, UK John Clements, California Polytechnic State University, USA Daniel Cooke, Texas Tech University, USA Nils Anders Danielsson, University of Nottingham, UK Jared Davis, Centaur Technology, USA Martin Erwig, Oregon State University, USA Ruben Gamboa, University of Wyoming, USA Jurriaan Hage, Utrecht University, NL Kevin Hammond, University of St Andrews, UK Michael Hanus, Christian Albrechts University zu Kiel, DE Zoltán Horvath, Eötvös Loránd University, HU Garrin Kimmell, University of Kansas, USA Pieter Koopman, Radboud University Nijmegen, NL Hans-Wolfgang Loidl, Ludwig Maximilians University München, DE Rita Loogen, Philipps University Marburg, DE Jay McCarthy, Brigham Young University, USA Greg Michaelson, Heriot-Watt University, UK Marco T. Morazán, Seton Hall University, USA Rodney Oldehoeft, Krell Institute, USA Walid Taha, Rice University, USA Sam Tobin-Hochstadt, Northeastern University, USA Simon Thompson, University of Kent, UK Phil Trinder, Heriot-Watt University, UK Marko van Eekelen, Radboud University Nijmegen, NL Viktória Zsók, Eötvös Loránd University, HU SPONSORS The University of Oklahoma Erlang Training and Consulting

1 0