- Haskell - Haskell.org

Open PhD and Postdoc positions at the University of Marburg
by Klaus Ostermann 30 Jul '12

30 Jul '12

[Haskell developers are particularly encouraged to apply] Dear all, we are happy to announce that we have new openings at the PhD and PostDoc level. The Programming Language and Software Technology Group, headed by Klaus Ostermann, conducts research dedicated to developing new technologies that help to construct high-quality software in a productive way. We use and develop an exciting set of technologies involving functional, object-oriented, domain-specific and aspect-oriented programming languages, software product lines, parser technology, language-integrated queries, static and dynamic software analysis, type systems, and many other topics. For more information consult http://www.uni-marburg.de/fb12/ps/ We offer positions with a lot of freedom to choose and develop research topics, few obligations, collaboration with a very strong group of researchers, competitive salary, and opportunities to develop a strong academic career path. We expect PhD applicants to have demonstrated the potential for scientific excellence in areas related to our own research, and applicants for Postdoc positions to have published in high-quality venues related to our research domains. Knowledge of German is a plus but not required; the default communication language in our group is English. Marburg is an attractive small "student town" right in the center of Germany. We are only an hour ride away from Frankfurt Airport, which will bring you to many destinations worldwide in a single hop. To apply for a position, please send informal inquiries to Klaus Ostermann (contact data can be found on our website, or reply to this email). We are flexible with regard to the starting date, but generally the sooner the better. We are looking forward to hearing from you. Klaus Ostermann

1 0

Call for Participation: WLPE 2012
by Wim Vanhoof 30 Jul '12

30 Jul '12

[Apologies for multiple copies...] ----------------------------------------------------------- WLPE 2012 - CALL FOR PARTICIPATION *** EARLY REGISTRATION DEADLINE: July 31, 2012 *** ----------------------------------------------------------- Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP 2012) September 8, 2012 Budapest, Hungary http://users.dsic.upv.es/workshops/wlpe2012/ ----------------------------------------------------------- IMPORTANT DATES * Deadline for early registration: July 31, 2012 * Deadline for regular registration: August 17, 2012 * WLPE 2012: September 8, 2012 Registration site is open: http://www.cs.bme.hu/iclp2012/Registration.html INVITED TALK WLPE 2012 will feature an invited talk by * Manuel Carro (Univ. Politécnica de Madrid) The proceedings of WLPE 2012 will be available in pdf format during the workshop. BACKGROUND AND SCOPE Software plays a crucial role in modern society. While the continuous advent of faster, smaller and more powerful computing devices makes the development of new and interesting applications feasible, it puts even more demands on the software developer. Having logic as the underlying formalism means that logic-based analysis techniques are often successfully used for program verification and optimization. Emerging programming paradigms and growing complexity of the properties to be verified pose new challenges for the community, while emerging reasoning techniques can be exploited. Moreover, extending the practical applicability of the existing approaches is an important task. The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. As in recent years the workshop topics include not only environmental tools for logic programming but increasingly also logic-based environmental tools for programming in general and frameworks and resources for sharing in the logic programming community. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications. Previous workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005), Seattle, Washington USA (2006), Porto, Portugal (2007), Udine, Italy (2008), Pasadena, USA (2009), Edinburgh, UK (2010), and Odense, Denmark (2011). Program committee ----------------- Salvador Abreu Universidade de Évora, Portugal Petra Hofstedt University of Technology Berlin, Germany Jacob Howe City University London, UK Yoshitaka Kameya Tokyo Institute of Technology, Japan Roland Kaminski Universität Postdam, Germany Lunjin Lu Oakland University, USA Alexander Serebrenik Eindhoven University of Technology, The Netherlands Peter Schneider-Kamp University of Southern Denmark, Denmark Zoltan Somogyi University of Melbourne, Australia Win Vanhoof University of Namur, Belgium Alicia Villanueva Universitat Politècnica de València, Spain Damiano Zanardini Universidad Politécnica de Madrid, Spain Workshop organizers ------------------- Win Vanhoof Faculty of Computer Science University of Namur Namur, Belgium Email: wlpe2012(a)dsic.upv.es Alicia Villanueva Department of Computer Science (DSIC) Universitat Politècnica de València Valencia, Spain Email: wlpe2012(a)dsic.upv.es

1 0

Haskell Weekly News: Issue 237
by Daniel Santa Cruz 26 Jul '12

26 Jul '12

Welcome to issue 237 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of July 15 to 21, 2012. Quotes of the Week * Eduard_Munteanu: Sufficiently advanced category theory is indistinguishable from trolling * Ralith just wait till I publish foldl'' / it is enterprise-ready Top Reddit Stories * Fay programming language — A strict subset of Haskell that compiles to JavaScript Domain: chrisdone.com, Score: 146, Comments: 83 On Reddit: [1] http://goo.gl/hQdvT Original: [2] http://goo.gl/0DDKv * Lambda-case and multi-way if added to GHC head (for 7.6.1) Domain: hackage.haskell.org, Score: 68, Comments: 71 On Reddit: [3] http://goo.gl/YGZeV Original: [4] http://goo.gl/hulnj * Purify code using free monads Domain: haskellforall.com, Score: 60, Comments: 47 On Reddit: [5] http://goo.gl/v8UPp Original: [6] http://goo.gl/fVtQY * Cloud Haskell Appetiser: an introductory glimpse at the new distributed-process package Domain: well-typed.com, Score: 38, Comments: 14 On Reddit: [7] http://goo.gl/zGI6e Original: [8] http://goo.gl/BlDQJ * Code Us Some Roguelike in Haskell (Part 2)! Domain: jamiltron.com, Score: 37, Comments: 6 On Reddit: [9] http://goo.gl/xPekY Original: [10] http://goo.gl/ZraR4 * The Power of Types Compels You Domain: paczesiowa.blogspot.com.au, Score: 33, Comments: 14 On Reddit: [11] http://goo.gl/NuZkM Original: [12] http://goo.gl/8djHL * RecordWildCards for localised module imports — what do you think? Domain: hpaste.org, Score: 30, Comments: 48 On Reddit: [13] http://goo.gl/L0WLp Original: [14] http://goo.gl/O8y1M * FRP - Translated slides from tutorial session Domain: apfelmus.nfshost.com, Score: 28, Comments: On Reddit: [15] http://goo.gl/9sNHU Original: [16] http://goo.gl/kqCWu * [PDF] First-Class Modules -- What happened? Domain: research.microsoft.com, Score: 27, Comments: 9 On Reddit: [17] http://goo.gl/V53sj Original: [18] http://goo.gl/JSFjJ * First class modules without defaults Domain: haskellforall.com, Score: 23, Comments: 27 On Reddit: [19] http://goo.gl/1Q7B8 Original: [20] http://goo.gl/rbS9u * gotchas with -threaded GHC runtime: accessing a MVar after forkprocess Domain: joeyh.name, Score: 22, Comments: 4 On Reddit: [21] http://goo.gl/gpu1j Original: [22] http://goo.gl/ievD1 * A Tutorial on the Curry-Howard Correspondence Domain: wellnowwhat.net, Score: 20, Comments: 11 On Reddit: [23] http://goo.gl/5jHMT Original: [24] http://goo.gl/2lDg8 * The Haskell Implementors Workshop 2012 Programme is out! Domain: haskell.org, Score: 20, Comments: 6 On Reddit: [25] http://goo.gl/3q0Y3 Original: [26] http://goo.gl/pEvww * Minimize your cloud costs with GLPK: linear programming Domain: chrisstucchio.com, Score: 18, Comments: 2 On Reddit: [27] http://goo.gl/a1Awm Original: [28] http://goo.gl/pJUrt Top StackOverflow Questions * Profiling the cost of polymorphism? votes: 16, answers: 1 Read on SO: [29] http://goo.gl/en8Ab * hackage.haskell.org documentation convention meaning votes: 13, answers: 1 Read on SO: [30] http://goo.gl/knlpX * What is the 'Const' applicative functor useful for? votes: 13, answers: 2 Read on SO: [31] http://goo.gl/iGFgu * Why does State need a value? votes: 11, answers: 6 Read on SO: [32] http://goo.gl/BBvLN * Haskell module naming conventions votes: 9, answers: 2 Read on SO: [33] http://goo.gl/bTPSr * Haskell RSS, mail and XML library choices votes: 8, answers: 0 Read on SO: [34] http://goo.gl/4Jj0u * Haskell: Equality constraint in instance votes: 8, answers: 1 Read on SO: [35] http://goo.gl/GnS3X * Profiling a Haskell program votes: 8, answers: 4 Read on SO: [36] http://goo.gl/Z3DXo * How can I turn either a Unix POSIX file descriptor or standard input Handle into a Socket? votes: 7, answers: 2 Read on SO: [37] http://goo.gl/sIyf2 * Reify a module into a record votes: 7, answers: 1 Read on SO: [38] http://goo.gl/Q9QDQ * ByteStrings in Haskell: should I use Put or Builder? votes: 6, answers: 2 Read on SO: [39] http://goo.gl/lhtGW Until next time, Daniel Santa Cruz References 1. http://chrisdone.com/fay/ 2. http://www.reddit.com/r/haskell/comments/wxi3l/fay_programming_language_a_s… 3. http://hackage.haskell.org/trac/ghc/ticket/4359#comment:87 4. http://www.reddit.com/r/haskell/comments/wp70x/lambdacase_and_multiway_if_a… 5. http://www.haskellforall.com/2012/07/purify-code-using-free-monads.html 6. http://www.reddit.com/r/haskell/comments/wtix3/purify_code_using_free_monad… 7. http://www.well-typed.com/blog/68 8. http://www.reddit.com/r/haskell/comments/wx0im/cloud_haskell_appetiser_an_i… 9. http://jamiltron.com/2012/07/Code_Us_Some_Roguelike2.html 10. http://www.reddit.com/r/haskell/comments/wwiar/code_us_some_roguelike_in_ha… 11. http://paczesiowa.blogspot.com.au/2010/03/generalized-zipwithn.html 12. http://www.reddit.com/r/haskell/comments/wr52t/the_power_of_types_compels_y… 13. http://hpaste.org/71626 14. http://www.reddit.com/r/haskell/comments/wp229/recordwildcards_for_localise… 15. http://apfelmus.nfshost.com/blog/2012/07/15-frp-tutorial-slides.html 16. http://www.reddit.com/r/haskell/comments/wmt58/frp_translated_slides_from_t… 17. http://research.microsoft.com/en-us/um/people/simonpj/Papers/first-class-mo… 18. http://www.reddit.com/r/haskell/comments/wpeam/pdf_firstclass_modules_what_… 19. http://www.haskellforall.com/2012/07/first-class-modules-without-defaults.h… 20. http://www.reddit.com/r/haskell/comments/wtx32/first_class_modules_without_… 21. http://joeyh.name/blog/entry/ghc_threaded_runtime_gotchas/ 22. http://www.reddit.com/r/haskell/comments/wxfp9/gotchas_with_threaded_ghc_ru… 23. http://wellnowwhat.net/Programming/Curry-Howard.pdf 24. http://www.reddit.com/r/haskell/comments/wpu3e/a_tutorial_on_the_curryhowar… 25. http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012#Program… 26. http://www.reddit.com/r/haskell/comments/wr2h6/the_haskell_implementors_wor… 27. http://www.chrisstucchio.com/blog/2012/linear_programming.html 28. http://www.reddit.com/r/haskell/comments/wnegn/minimize_your_cloud_costs_wi… 29. http://stackoverflow.com/questions/11538977/profiling-the-cost-of-polymorph… 30. http://stackoverflow.com/questions/11526701/hackage-haskell-org-documentati… 31. http://stackoverflow.com/questions/11532050/what-is-the-const-applicative-f… 32. http://stackoverflow.com/questions/11583489/why-does-state-need-a-value 33. http://stackoverflow.com/questions/11594983/haskell-module-naming-conventio… 34. http://stackoverflow.com/questions/11495877/haskell-rss-mail-and-xml-librar… 35. http://stackoverflow.com/questions/11553705/haskell-equality-constraint-in-… 36. http://stackoverflow.com/questions/11594481/profiling-a-haskell-program 37. http://stackoverflow.com/questions/11558584/how-can-i-turn-either-a-unix-po… 38. http://stackoverflow.com/questions/11571520/reify-a-module-into-a-record 39. http://stackoverflow.com/questions/11512313/bytestrings-in-haskell-should-i…

1 0

PLPV 2013 First Call for Papers
by Andreas Abel 25 Jul '12

25 Jul '12

The Seventh ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2013) http://plpv.tcs.ifi.lmu.de/ 22nd January, 2013 Rome, Italy (Affiliated with POPL 2013) Call for Papers Overview The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language. One example are dependently typed programming languages, which leverage a language's type system to specify and check rich specifications. Another example are extended static checking systems which incorporate contracts with either static or dynamic contract checking. We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. To encourage interaction between different communities, we seek a broad scope for PLPV. In particular, submissions may have diverse foundations for verification (based on types, Hoare-logic, abstract interpretation, etc), target different kinds of programming languages (functional, imperative, object-oriented, etc), and apply to diverse kinds of program properties (data structure invariants, security properties, temporal protocols, resource constraints, etc). Important Dates Submission 8th October, 2012 (Monday) Notification 1st November, 2012 (Thursday) Final Version 8th November, 2012 (Thursday) Workshop 22nd January, 2013 (Tuesday) Submissions We seek submissions of up to 12 pages related to the above topics; shorter submissions are also welcome. Submissions may describe new work, propose new challenge problems for language-based verification techniques, or present a known idea in an elegant way (i.e., a pearl). Submissions should be prepared with SIGPLAN two-column conference format. Submitted papers must adhere to the SIGPLAN republication policy. Concurrent submissions to other workshops, conferences, journals, or similar forums of publication are not allowed. To submit a paper, access the online submission site at http://www.easychair.org/conferences/?conf=plpv2013. Publication Accepted papers will be published by the ACM and will appear in the ACM Digital library. Program Committee Andreas Abel Ludwig-Maximilians-University Munich (co-chair) Robert Atkey University of Strathclyde Harley Eades The University of Iowa Chung-Kil Hur Max Planck Institute for Software Systems Brigitte Pientka McGill University Andrew Pitts University of Cambridge François Pottier INRIA Tim Sheard Portland State University (co-chair) Makoto Takeyama Advanced Industrial Science and Technology -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel(a)ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/

1 0

FHPC 2012: ACM SIGPLAN Workshop on Functional High Performance Computing
by Clemens Grelck 23 Jul '12

23 Jul '12

====================================================================== CALL FOR PARTICIPATION FHPC 2012 ACM SIGPLAN Workshop on Functional High Performance Computing Copenhagen, Denmark September 15th, 2012 http://www.hiperfit.dk/fhpc12/ Co-located with the International Conference on Functional Programming (ICFP 2012) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative, high-level) programming technology in application domains where large-scale computations arise naturally and high performance is essential. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. The aim of the workshop is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as highly transparent, maintainable, and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. The 2012 FHPC workshop comes with a particular theme motivated by geographic co-location with the newly established HIPERFIT Research Centre for Functional High-Performance Computing for Financial Information Technology (www.hiperfit.dk) at the University of Copenhagen. Hence, we particularly encouragedsubmissions with a background in computational finance. Notwithstanding, the workshop welcomed submissions from other application domains as much as general-purpose work on the theory and practice of declarative approaches to high-performance computing. ====================================================================== ACCEPTED PAPERS AND PROGRAMME: * http://www.hiperfit.dk/fhpc12/ ====================================================================== REGISTRATION IS NOW OPEN: * http://www.icfpconference.org/icfp2012/registration.html * Early registration deadline: August 9th, 2012 ====================================================================== LOCAL ARRANGEMENTS: * http://www.icfpconference.org/icfp2012/local.html ====================================================================== Looking forward to seeing you in Copenhagen, Andrzej Filinksi and Clemens Grelck FHPC 2012 Chairs ====================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

Haskell Weekly News: Issue 236
by Daniel Santa Cruz 19 Jul '12

19 Jul '12

Welcome to issue 236 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of July 8 to 14, 2012. Quotes of the Week * RichardBuckminsterFuller: When I am working on a problem, I never think about beauty. But when I have finished, if the solution is not beautiful, I know that it is wrong. * Taneb: I'm doing the thing that every bored haskeller does one day and rewriting Prelude Top Reddit Stories * Haskell Performance Patterns Domain: johantibell.com, Score: 71, Comments: 34 On Reddit: [1] http://goo.gl/gZkMB Original: [2] http://goo.gl/2rj4t * Code Us Some Roguelike in Haskell! Domain: jamiltron.com, Score: 55, Comments: 19 On Reddit: [3] http://goo.gl/VYOx1 Original: [4] http://goo.gl/OOiSG * I never tested this code before releasing it Confession of a Haskell Hacker Domain: r6.ca, Score: 51, Comments: 48 On Reddit: [5] http://goo.gl/EBfT7 Original: [6] http://goo.gl/9zA0u * Breaking from a loop Domain: haskellforall.com, Score: 37, Comments: 19 On Reddit: [7] http://goo.gl/yqxqg Original: [8] http://goo.gl/NtI8j * The Classy Prelude, an alternate prelude which makes it easier to use conflicting names via typeclasses, and thereby encourages usage of more powerful libraries like text and unordered-containers. Domain: yesodweb.com, Score: 35, Comments: 46 On Reddit: [9] http://goo.gl/cZKM5 Original: [10] http://goo.gl/70d6R * The Long and Epic Journey of LambdaCase Domain: unknownparallel.wordpress.com, Score: 33, Comments: 52 On Reddit: [11] http://goo.gl/EAVXs Original: [12] http://goo.gl/ymkGy * How is this fibonacci-function memoized? Domain: stackoverflow.com, Score: 33, Comments: 1 On Reddit: [13] http://goo.gl/lo3LD Original: [14] http://goo.gl/wwHQb * errors-1.0: Simplified error handling Domain: haskellforall.com, Score: 30, Comments: 31 On Reddit: [15] http://goo.gl/tKzP1 Original: [16] http://goo.gl/O10hN * Influenced by Haskell Domain: griffsgraphs.com, Score: 30, Comments: 29 On Reddit: [17] http://goo.gl/6ptoi Original: [18] http://goo.gl/Nrz7K * Experience Report: Haskell in Computational Biology (Daniels, Gallant, Ramsey)[pdf 7 pp] Domain: eecs.tufts.edu, Score: 30, Comments: 11 On Reddit: [19] http://goo.gl/XsvMK Original: [20] http://goo.gl/TUdnL * == for Float not referentially transparent Domain: haskell.org, Score: 23, Comments: 51 On Reddit: [21] http://goo.gl/6qZ1J Original: [22] http://goo.gl/DR9TE * My second attempt at writing Haskell Domain: self.haskell, Score: 21, Comments: 27 On Reddit: [23] http://goo.gl/i7u3p Original: [24] http://goo.gl/i7u3p * Announcing split-channel « Melding Monads Domain: blog.melding-monads.com, Score: 20, Comments: 16 On Reddit: [25] http://goo.gl/XwHdl Original: [26] http://goo.gl/oh5Ce * Deriving the Y combinator from first principles Domain: wellnowwhat.net, Score: 18, Comments: 12 On Reddit: [27] http://goo.gl/5uxYN Original: [28] http://goo.gl/Q76lk * Announcing WAI 1.3! Domain: yesodweb.com, Score: 18, Comments: 11 On Reddit: [29] http://goo.gl/QD769 Original: [30] http://goo.gl/mQFBK Top StackOverflow Questions * How is this fibonacci-function memoized? votes: 43, answers: 3 Read on SO: [31] http://goo.gl/MGjr3 * What is the combinatory logic equivalent of intuitionistic type theory? votes: 39, answers: 0 Read on SO: [32] http://goo.gl/ki9nT * Does Haskell have return type overloading? votes: 15, answers: 5 Read on SO: [33] http://goo.gl/sBGWj * Is there a way to avoid unnecessary recursion? votes: 12, answers: 2 Read on SO: [34] http://goo.gl/Gk39e * Using vectors for performance improvement in Haskell votes: 12, answers: 2 Read on SO: [35] http://goo.gl/74KOH * Eliminate Haskell array bounds check for Bounded type? votes: 11, answers: 1 Read on SO: [36] http://goo.gl/CHDtJ * Having my cereal and parsing it too votes: 8, answers: 2 Read on SO: [37] http://goo.gl/1SG24 * How does HOpenGL behave with regards to other threads and TChans in Haskell? votes: 8, answers: 2 Read on SO: [38] http://goo.gl/dmoqc * Number of arguments and point-free in Haskell votes: 8, answers: 2 Read on SO: [39] http://goo.gl/8Z0B2 * Haskell: Design pattern: classes or pass functions votes: 7, answers: 3 Read on SO: [40] http://goo.gl/EO7tr * Haskell — sort list with impure function votes: 7, answers: 4 Read on SO: [41] http://goo.gl/o9kbc Until next time, Daniel Santa Cruz References 1. http://johantibell.com/files/haskell-performance-patterns.html#%281%29 2. http://www.reddit.com/r/haskell/comments/wjtms/haskell_performance_patterns/ 3. http://jamiltron.com/2012/07/Code_Us_Some_Roguelike_in_Haskell.html 4. http://www.reddit.com/r/haskell/comments/wd6p3/code_us_some_roguelike_in_ha… 5. http://r6.ca/blog/20120708T122219Z.html 6. http://www.reddit.com/r/haskell/comments/w7zd8/i_never_tested_this_code_bef… 7. http://www.haskellforall.com/2012/07/breaking-from-loop.html 8. http://www.reddit.com/r/haskell/comments/wfwyt/breaking_from_a_loop/ 9. http://www.yesodweb.com/blog/2012/07/classy-prelude 10. http://www.reddit.com/r/haskell/comments/wfiao/the_classy_prelude_an_altern… 11. http://unknownparallel.wordpress.com/2012/07/09/the-long-and-epic-journey-o… 12. http://www.reddit.com/r/haskell/comments/wbb69/the_long_and_epic_journey_of… 13. http://stackoverflow.com/q/11466284/1288 14. http://www.reddit.com/r/haskell/comments/whx2k/how_is_this_fibonaccifunctio… 15. http://www.haskellforall.com/2012/07/errors-10-simplified-error-handling.ht… 16. http://www.reddit.com/r/haskell/comments/w7xrv/errors10_simplified_error_ha… 17. http://griffsgraphs.com/2012/07/01/programming-languages-influences/ 18. http://www.reddit.com/r/haskell/comments/w9npe/influenced_by_haskell/ 19. http://www.eecs.tufts.edu/~ndaniels/Noah_files/mrfy_experience_report.pdf 20. http://www.reddit.com/r/haskell/comments/wf6xe/experience_report_haskell_in… 21. http://www.haskell.org/pipermail/glasgow-haskell-users/2012-July/022568.html 22. http://www.reddit.com/r/haskell/comments/wbsd3/for_float_not_referentially_… 23. http://www.reddit.com/r/haskell/comments/walg1/my_second_attempt_at_writing… 24. http://www.reddit.com/r/haskell/comments/walg1/my_second_attempt_at_writing… 25. http://blog.melding-monads.com/2012/07/10/announcing-split-channel/ 26. http://www.reddit.com/r/haskell/comments/wdhf1/announcing_splitchannel_meld… 27. http://www.wellnowwhat.net/blog/?p=485 28. http://www.reddit.com/r/haskell/comments/wd5rb/deriving_the_y_combinator_fr… 29. http://www.yesodweb.com/blog/2012/07/announcing-wai-1-3 30. http://www.reddit.com/r/haskell/comments/wih94/announcing_wai_13/ 31. http://stackoverflow.com/questions/11466284/how-is-this-fibonacci-function-… 32. http://stackoverflow.com/questions/11406786/what-is-the-combinatory-logic-e… 33. http://stackoverflow.com/questions/11420126/does-haskell-have-return-type-o… 34. http://stackoverflow.com/questions/11454936/is-there-a-way-to-avoid-unneces… 35. http://stackoverflow.com/questions/11481675/using-vectors-for-performance-i… 36. http://stackoverflow.com/questions/11411797/eliminate-haskell-array-bounds-… 37. http://stackoverflow.com/questions/11424961/having-my-cereal-and-parsing-it… 38. http://stackoverflow.com/questions/11443824/how-does-hopengl-behave-with-re… 39. http://stackoverflow.com/questions/11487171/number-of-arguments-and-point-f… 40. http://stackoverflow.com/questions/11423749/haskell-design-pattern-classes-… 41. http://stackoverflow.com/questions/11469806/haskell-sort-list-with-impure-f…

1 0

Haskell Symposium 2012 - Call for Participation (early registration closes 9th August)
by Janis Voigtländer 18 Jul '12

18 Jul '12

==================================================================== CALL FOR PARTICIPATION ACM SIGPLAN Haskell Symposium 2012 Copenhagen, Denmark 13th September, 2012 (directly after ICFP) http://www.haskell.org/haskell-symposium/2012/ ==================================================================== The purpose of the Haskell Symposium is to discuss experiences 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. Accepted papers and programme: ============================== * http://haskell.org/haskell-symposium/2012/#schedule REGISTRATION IS NOW OPEN: ========================= * http://www.icfpconference.org/icfp2012/registration.html * Early registration deadline: 9th August, 2012 Local arrangements (including travel and accommodation): ======================================================== * http://www.icfpconference.org/icfp2012/local.html See you in Copenhagen, Janis Voigtlaender Haskell 2012 Programme Chair ====================================================================

1 0

Call for Participation: LOPSTR and PPDP 2012
by Jon Sneyers 18 Jul '12

18 Jul '12

(Apologies for multiple copies of this announcement) CALL FOR PARTICIPATION: ============================================================ LOPSTR 2012 22nd International Symposium on Logic-Based Program Synthesis and Transformation Leuven, Belgium, September 18-20, 2012 http://costa.ls.fi.upm.es/lopstr12 and PPDP 2012 14th International Symposium on Principles and Practice of Declarative Programming Leuven, Belgium, September 19-21, 2012 http://dtai.cs.kuleuven.be/events/PPDP2012/ ============================================================ Early registration is until 31 July 2012. There is a significant discount if you register for both events. Registration link: http://dtai.cs.kuleuven.be/events/PPDP2012/reg.html More information about LOPSTR'12: http://costa.ls.fi.upm.es/lopstr12/ More information about PPDP'12: http://dtai.cs.kuleuven.be/events/PPDP2012/

1 0

PEPM 2013: Second Call for Papers
by Shin-Cheng Mu 18 Jul '12

18 Jul '12

C A L L F O R P A P E R S === P E P M 2013 === ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM13 January 20-21, 2013 Rome, Italy (Affiliated with POPL 2013) ==================================================================== NEWS - Submission deadline: September 28 (abstract) and October 2 (paper) - Invited speakers: Zhenjiang Hu and Peter Thiemann - Special issue of Science of Computer Programming (SCP) (5-Year Impact Factor of SCP: 1.304) ==================================================================== SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2013 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue recent years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'13 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of 'short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student attendants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Selected papers will be invited for a journal special issue of Science of Computer Programming dedicated to PEPM'13. PEPM has established a Best Paper award. The winner will be announced at the workshop. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights. Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. The SIGPLAN Republication Policy and ACM's Policy and Procedures on Plagiarism apply. IMPORTANT DATES Abstract submission: September 25, 2012 Paper submission: October 2, 2012 Notification: November 6, 2012 Camera ready: November 14, 2012 SUBMISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS Regular Research Papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research and tool demonstration papers will be made available on the PEPM'13 Web-site. Papers should be submitted electronically via the workshop web site. PROGRAM CO-CHAIRS Elvira Albert (Complutense University of Madrid, Spain) Shin-Cheng Mu (Academia Sinica, Taiwan) PEPM 2013 PROGRAM COMMITTEE * Maria Alpuente (Technical University of Valencia, Spain) * Kenichi Asai (Ochanomizu University, Japan) * Maria Garcia de la Banda (Monash University, Australia) * James R. Cordy (Queen's University, Canada) * R. Kent Dybvig (Cisco and Indiana University, USA) * Joao Fernandes (University of Minho, Portugal) * Samir Genaim (Complutense University of Madrid, Spain) * Roberto Giacobazzi (Verona University, Italy) * Andy Gill (University of Kansas, USA) * Jurriaan Hage (Utrecht University, Netherlands) * Martin Hofmann (Ludwig-Maximilians-Universität München, Germany) * Julia Lawall (INRIA, France) * Yanhong Annie Liu (Stony Brook University, USA) * Kazutaka Matsuda (University of Tokyo, Japan) * Keisuke Nakano (University of Electro-Communications, Japan) * Klaus Ostermann (University of Marburg, Germany) * Sergei A. Romanenko (Russian Academy of Sciences, Russia) * Jeremy Siek (University of Colorado at Boulder, USA) * Walid Mohamed Taha (Halmstad University, Sweden) * Tarmo Uustalu (Tallinn University of Technology, Estonia) * Janis Voigtlaender (University of Bonn, Germany) * Dana N. Xu (INRIA, France)

1 0

Call for Participation: SoTeSoLa, 19-23 Aug, Koblenz
by Ralf Laemmel 18 Jul '12

18 Jul '12

Dear Haskell-ers, SoTeSoLa is not a Haskell- or FP-centric event, but Haskell-ers are very much encouraged to represent their technological space at the school. In fact, I know for a reason that some Haskell-ers will be there, but the more the better. I expect that Haskell will play a role in one of the two hackathons and perhaps in some working group. (For instance, we are thinking about a working group on the spreadsheet-centric technological space, where Haskell plays a role as a modeling language and otherwise.) Regards, Ralf ---------------------------------------------------------------- The summer school SoTeSoLa 2012 is a highly discussion- and result-oriented Research 2.0 event on software technologies and software languages. http://planet-sl.org/sotesola2012 SoTeSoLa 2012 takes place in Koblenz 19-23 August 2012. SoTeSoLa brings together senior and junior researchers and technologists interested in software science, specifically the foundations of software technologies and the notion of technological spaces as linking together software languages, technologies, and various resources adding up to a technological and community context. SoTeSoLa also hosts this time the SATToSE 2012 seminar on "Advanced Techniques & Tools for Software Evolution". Key topics at the school are these: - Generic language technology - Co-evolution of software artifacts - Multi-language, multi-technology problems - Research 2.0 applied to software engineering - Technological spaces: past, present, and future - eLearning for language engineers & technologists - Models of knowledge resources for software developers - Model-driven engineering beyond software development - Software re/reverse/engineering in the Semantic Web Era SoTeSoLa aims at exercising a new format for a software language/technology forum, i.e., a more Research 2.0-based approach so that much focus is on understanding each others context, integrating knowledge, automation thereof, and organizing future research and work of the participants. To this end, regular lectures are de-emphasized, but a more discussion- and result-oriented format will be exercised. The event maxes out at 42 participants. SoTeSoLa 2012 is supported by the ADAPT research focus at the University of Koblenz-Landau as part of Rhineland Palatinate's Research Initiative 2008--2013. SoTeSoLa 2012 is also supported by RainCode. SoTeSoLa is hosted by the Software Languages Team in Koblenz. Deadlines: - Registration deadline: 4 August 2012 - Hotel reservation deadline: 1 August 2012 - Deadline for SATToSE presentation proposals: 25 July 2012 - Deadline for student grant applications: 25 July 2012 - Deadline for hackathon and working-group proposals: none and ASAP - Notification for SATToSE presentation proposals: 29 July 2012 - Summer school: 19 August (afternoon) - 23 August 2012 (noon)

1 0