From dstcruz at gmail.com Thu May 1 02:39:50 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 30 Apr 2014 22:39:50 -0400 Subject: [Haskell] Haskell Weekly News: Issue 293 Message-ID: Welcome to issue 293 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from April 20 to 26, 2014 Quotes of the Week * monochrom: linux's ulimit for main memory will not help because linux kernel's allocator is a lazy yes-man (think irrefutable pattern) * edwardk: lens is the only library I've ever written that generates hate mail and invites to give talks in almost equal measure * shachaf: You don't need lens to produce or consume lenses. You just need it to complain about them. * glguy_: Reddit has shown you don't need to have used the lens package to complain about it, either Top Reddit Stories * What I Wish I Knew When Learning Haskell 2.0 Domain: dev.stephendiehl.com, Score: 191, Comments: 37 On Reddit: [1] http://goo.gl/PkvrnZ Original: [2] http://goo.gl/ljYe4w * Announcing cabal 1.20 Domain: blog.johantibell.com, Score: 141, Comments: 38 On Reddit: [3] http://goo.gl/H16RoZ Original: [4] http://goo.gl/2r3vBH * Lens is unidiomatic Haskell Domain: ro-che.info, Score: 124, Comments: 231 On Reddit: [5] http://goo.gl/Hm7Zbl Original: [6] http://goo.gl/HrI0L6 * wreq: a capable new HTTP client library Domain: serpentine.com, Score: 121, Comments: 128 On Reddit: [7] http://goo.gl/kUZp4s Original: [8] http://goo.gl/y8QFpR * Applicative became a superclass of Monad Domain: ghc.haskell.org, Score: 94, Comments: 46 On Reddit: [9] http://goo.gl/0OIiPz Original: [10] http://goo.gl/DKCUsD * Open Sourced! Cryptol: A Domain Specific Language for Specifying Cryptographic Algorithms Domain: cryptol.net, Score: 91, Comments: 7 On Reddit: [11] http://goo.gl/32oaZd Original: [12] http://goo.gl/30Y9g0 * Model-view-controller, Haskell-style Domain: haskellforall.com, Score: 81, Comments: 55 On Reddit: [13] http://goo.gl/yJH5Ck Original: [14] http://goo.gl/pjqFPN * Lenses don't compose backwards. Domain: self.haskell, Score: 73, Comments: 35 On Reddit: [15] http://goo.gl/p9e9v8 Original: [16] http://goo.gl/p9e9v8 * 14 Haskell Projects accepted for Google Summer of Code Domain: google-melange.com, Score: 59, Comments: 28 On Reddit: [17] http://goo.gl/bw3jrU Original: [18] http://goo.gl/O91dDJ * New issue of The Monad Reader (#23) Domain: themonadreader.wordpress.com, Score: 48, Comments: 11 On Reddit: [19] http://goo.gl/PgFaAg Original: [20] http://goo.gl/M62yM8 * Lens from the ground up Domain: mth.io, Score: 44, Comments: 25 On Reddit: [21] http://goo.gl/7hb2dZ Original: [22] http://goo.gl/W2C4x2 * Lenses You Can Make at Home Domain: duplode.github.io, Score: 40, Comments: 17 On Reddit: [23] http://goo.gl/5Fx3re Original: [24] http://goo.gl/qs2nbt Top StackOverflow Questions * How do experienced Haskell developers approach laziness at *design* time? votes: 26, answers: 1 Read on SO: [25] http://goo.gl/obf2MG * Lax monoidal functors with a different monoidal structure votes: 14, answers: 3 Read on SO: [26] http://goo.gl/gR954y * Maximizing Haskell loop performance with GHC votes: 13, answers: 2 Read on SO: [27] http://goo.gl/TNaeB7 * What does it mean that the semantics (of Haskell) are affected by the inferred types (of return type polymorphism)? votes: 12, answers: 2 Read on SO: [28] http://goo.gl/e702Su * Write a parallel array Haskell expression once, run on CPUs & GPUs with repa and accelerate votes: 10, answers: 2 Read on SO: [29] http://goo.gl/gvSnV8 * Best way to save 10 GB vector to disk in Haskell votes: 9, answers: 3 Read on SO: [30] http://goo.gl/6SjJeG * What is the purpose of the `Typeable (* -> Constraint) Monoid` instance? votes: 9, answers: 1 Read on SO: [31] http://goo.gl/QeLSHm Until next time, [32]+Daniel Santa Cruz References 1. http://dev.stephendiehl.com/hask 2. http://www.reddit.com/r/haskell/comments/23srcm/what_i_wish_i_knew_when_learning_haskell_20/ 3. http://blog.johantibell.com/2014/04/announcing-cabal-120.html 4. http://www.reddit.com/r/haskell/comments/23i6ih/announcing_cabal_120/ 5. http://ro-che.info/articles/2014-04-24-lens-unidiomatic.html 6. http://www.reddit.com/r/haskell/comments/23uzpg/lens_is_unidiomatic_haskell/ 7. http://www.serpentine.com/wreq/ 8. http://www.reddit.com/r/haskell/comments/23q8kc/wreq_a_capable_new_http_client_library/ 9. https://ghc.haskell.org/trac/ghc/browser/ghc/libraries/base/GHC/Base.lhs?rev=88c9403264950326e39a05f262bbbb069cf12977#L382 10. http://www.reddit.com/r/haskell/comments/23ob5a/applicative_became_a_superclass_of_monad/ 11. http://cryptol.net/index.html 12. http://www.reddit.com/r/haskell/comments/23w3su/open_sourced_cryptol_a_domain_specific_language/ 13. http://www.haskellforall.com/2014/04/model-view-controller-haskell-style.html 14. http://www.reddit.com/r/haskell/comments/2407hs/modelviewcontroller_haskellstyle/ 15. http://www.reddit.com/r/haskell/comments/23x3f3/lenses_dont_compose_backwards/ 16. http://www.reddit.com/r/haskell/comments/23x3f3/lenses_dont_compose_backwards/ 17. http://www.google-melange.com/gsoc/projects/list/google/gsoc2014 18. http://www.reddit.com/r/haskell/comments/23mfwj/14_haskell_projects_accepted_for_google_summer_of/ 19. http://themonadreader.wordpress.com/2014/04/23/issue-23/ 20. http://www.reddit.com/r/haskell/comments/23u25r/new_issue_of_the_monad_reader_23/ 21. http://mth.io/talks/lens-from-the-ground-up/ 22. http://www.reddit.com/r/haskell/comments/23z5xb/lens_from_the_ground_up/ 23. http://duplode.github.io/posts/lenses-you-can-make-at-home.html 24. http://www.reddit.com/r/haskell/comments/241aec/lenses_you_can_make_at_home/ 25. http://stackoverflow.com/questions/23280936/how-do-experienced-haskell-developers-approach-laziness-at-design-time 26. http://stackoverflow.com/questions/23316255/lax-monoidal-functors-with-a-different-monoidal-structure 27. http://stackoverflow.com/questions/23315001/maximizing-haskell-loop-performance-with-ghc 28. http://stackoverflow.com/questions/23282921/what-does-it-mean-that-the-semantics-of-haskell-are-affected-by-the-inferred-t 29. http://stackoverflow.com/questions/23202145/write-a-parallel-array-haskell-expression-once-run-on-cpus-gpus-with-repa-and 30. http://stackoverflow.com/questions/23247289/best-way-to-save-10-gb-vector-to-disk-in-haskell 31. http://stackoverflow.com/questions/23277838/what-is-the-purpose-of-the-typeable-constraint-monoid-instance 32. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From simon at joyful.com Thu May 1 16:16:33 2014 From: simon at joyful.com (Simon Michael) Date: Thu, 01 May 2014 09:16:33 -0700 Subject: [Haskell] ANN: hledger-0.23, hledger-web-0.23 Message-ID: <1398960993.4203.112599653.69F692DB@webmail.messagingengine.com> I'm pleased to announce hledger and hledger-web 0.23! This release includes command-line fixes and polish, a new accounts command, and a number of changes to the balance command relating to --depth, --flat, and multicolumn mode, which I find has made it much more useful. Release notes: http://hledger.org/release-notes#hledger-023-201451 . Contributors to this release: Peter Simons and Marko Koci?. hledger (http://hledger.org) is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. It can also read CSV or timelog files. It provides useful reports, and can also help you record new transactions interactively. Add-on commands include hledger-web (a web interface), hledger-irr (for calculating internal rate of return) and hledger-interest (for generating interest transactions). hledger is inspired by and largely compatible with Ledger. Installation: cabal update; cabal install hledger [hledger-web] (see http://hledger.org/installing for help) or sponsor a binary at http://hledger.org/download Best! -Simon From Henrik.Nilsson at nottingham.ac.uk Fri May 2 10:16:44 2014 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Fri, 02 May 2014 11:16:44 +0100 Subject: [Haskell] Reminder: FARM 2014: deadlines approaching! Message-ID: <5363708C.7000708@nottingham.ac.uk> Dear all, This is just a reminder about FARM 2014: Workshop on Functional Art, Music, Modeling and Design, co-located with ICFP in Gothenburg in September. http://functional-art.org/2014/ The abstract deadline (for full papers) is fast approaching (7 May), and the overall deadline for full papers and demos is not far behind (11 May). Call for papers enclosed. Apologies for cross-postings. All the best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham nhn at cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. -------------- next part -------------- FARM 2014 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Gothenburg, Sweden; 6 September, 2014 The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. The language used need not be purely functional (?mostly functional? is fine), and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2014 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: workshop2014 at functional-art.org KEY DATES: Abstract (for Full Papers) submission deadline: 7 May Full Paper and Demo Abstract submission Deadline: 11 May Author Notification: 30 May Camera Ready: 18 June Workshop: 6 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The submission itself will be via EasyChair. See the FARM website for further details: http://functional-art.org PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; see http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. WORKSHOP ORGANISATION Workshop Chair: Alex McLean, University of Leeds Program Chair: Henrik Nilsson, University of Nottingham Publicity Chair: Michael Sperber, Active Group GmbH Program Committee: Sam Aaron, Cambridge University David Duke, University of Leeds Kathleen Fisher, Tufts University Julie Greensmith, University of Nottingham Bas de Haas, Universiteit Utrecht Paul Hudak, Yale University David Janin, Universit? de Bordeaux Richard Lewis, Goldsmiths, University of London Louis Mandel, Coll?ge de France Alex McLean, University of Leeds Carin Meier, Neo Innovation Inc Rob Myers, Furtherfield Henrik Nilsson, University of Nottingham (chair) Dan Piponi, Google Inc Andrew Sorensen, Queensland University of Technology Michael Sperber, Active Group GmbH For further details, see the FARM website: http://functional-art.org From cnn at cs.au.dk Fri May 2 19:43:01 2014 From: cnn at cs.au.dk (Jacob Johannsen) Date: Fri, 2 May 2014 21:43:01 +0200 Subject: [Haskell] PPDP 2014: 2nd Call for Papers Message-ID: <5363F545.4080807@cs.au.dk> ====================================================================== 2nd Call for papers 16th International Symposium on Principles and Practice of Declarative Programming PPDP 2014 Canterbury, Kent, September 8-10, 2014 (co-located with LOPSTR 2014) http://users-cs.au.dk/danvy/ppdp14/ ====================================================================== SUBMISSION DEADLINE: 15 MAY, 2014 PPDP 2014 is a forum that brings together researchers from the declaratrive programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014). The conference will be held in Canterbury, UK. Previous symposia were held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). The proceedings will be published in the ACM Digital Library. After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a journal. Important Dates Abstract Submission: 12 May, 2014 Paper submission: 15 May, 2014 Notification: 30 June, 2014 Camera-ready: To be announced Symposium: 8-10 September, 2014 Invites for journal publication: To be announced Submission of journal version: To be announced Notification: To be announced Camera-ready version: To be announced Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2014. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Program Committee Michael Adams University of Illinois at Urbana-Champaign, USA Elvira Albert Complutense University of Madrid, Spain Dariusz Biernacki University of Wroclaw, Poland Bernd Brassel Recordbay, Germany Mike Codish Ben-Gurion University of the Negev, Israel Olivier Danvy (chair) Aarhus University, Denmark Marc Denecker KU Leuven, Belgium Joshua Dunfield Max Planck Institute for Software Systems, Germany Zoe Drey ENSTA Bretagne/Lab-STICC, France Thibaut Feydy NICTA, Australia Danko Ilik Inria, France Yukiyoshi Kameyama University of Tsukuba, Japan Chantal Keller Microsoft Research -- Inria Joint Centre Temur Kutsia RISC, Johannes Kepler University Linz, Austria Dan Licata Wesleyan University, USA Akimasa Morihata University of Tokyo, Japan Matthias Puech McGill University, Canada Tiark Rompf Oracle Labs and EPFL, Switzerland Kristoffer H. Rose Two Sigma Labs, New York, USA Ilya Sergey IMDEA Software Institute, Spain Ralf Treinen University Paris-Diderot, France Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France Program Chair Olivier Danvy Department of Computer Science Aarhus University Aabogade 34 DK-8200 Aarhus N, Denmark Email: danvy at cs.au.dk Symposium Chairs: Andy King School of Computing University of Kent Canterbury, Kent, CT2 7NF United Kingdom Email: A.M.King at kent.ac.uk Olaf Chitil School of Computing University of Kent Canterbury, Kent, CT2 7NF United Kingdom Email: O.Chitil at kent.ac.uk Publicity Chair: Jacob Johannsen Department of Computer Science Aarhus University Aabogade 34 DK-8200 Aarhus N, Denmark Email: cnn at cs.au.dk From dreixel at gmail.com Fri May 2 08:43:59 2014 From: dreixel at gmail.com (=?UTF-8?Q?Jos=C3=A9_Pedro_Magalh=C3=A3es?=) Date: Fri, 2 May 2014 09:43:59 +0100 Subject: [Haskell] Final CFP: Workshop on Generic Programming (WGP) 2014 Message-ID: Apologies for multiple postings. ====================================================================== CALL FOR PAPERS WGP 2014 10th ACM SIGPLAN Workshop on Generic Programming Gothenburg, Sweden Sunday, August 31, 2014 http://www.wgp-sigplan.org/2014 Co-located with the International Conference on Functional Programming (ICFP 2014) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- Jos? Pedro Magalh?es (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique F?d?rale de Lausanne (EPFL) Pierre-?variste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen Andrew Lumsdaine, Indiana University Miles Sabin, Underscore Consulting LLP, Chuusai Ltd. Alexander Slesarenko, Huawei Labs & Keldysh Institute of Applied Mathematics (KIAM) Anthony M. Sloane, Macquarie University Wouter Swierstra, Utrecht University Meng Wang, Chalmers University of Technology Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights (http://www.acm.org/publications/policies/copyright_policy). Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Submission details ------------------ Deadline for submission: Sunday 2014-05-11 Notification of acceptance: Friday 2014-06-06 Final submission due: Wednesday 2014-06-18 Workshop: Sunday 2014-08-31 Submitted papers should fall into one of two categories: * Regular research papers (12 pages) * Short papers: case studies, tool demos, generic pearls (6 pages) Regular research papers are expected to present novel and interesting research results. Short papers need not present novel or fully polished results. Good candidates for short papers are those that report on interesting case studies of generic programming in open source or industry, present demos of generic programming tools or libraries, or discuss elegant and illustrative uses of generic programming ('pearls'). All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular research papers must not exceed 12 pages. Short papers must not exceed 6 pages. If applicable, papers should be marked with one of the labels 'case study, 'tool demo' or 'generic pearl' in the title at the time of submission. Papers should be submitted via EasyChair at https://www.easychair.org/conferences/?conf=wgp2014 Travel Support -------------- Student attendees 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 program, see its web page (http://www.sigplan.org/PAC.htm). History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Boston, Massachusetts, US 2013 (affiliated with ICFP13), * Copenhagen, Denmark 2012 (affiliated with ICFP12), * Tokyo, Japan 2011 (affiliated with ICFP11), * Baltimore, Maryland, US 2010 (affiliated with ICFP10), * Edinburgh, UK 2009 (affiliated with ICFP09), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- Shin-Cheng Mu (chair) Jaako J?rvi Andres L?h Ronald Garcia Jacques Carette Jeremiah Willcock Tim Sheard Stephanie Weirich Tarmo Uustalu -------------- next part -------------- An HTML attachment was scrubbed... URL: From liyuanfang at gmail.com Sun May 4 10:22:59 2014 From: liyuanfang at gmail.com (Yuan-Fang Li) Date: Sun, 4 May 2014 20:22:59 +1000 Subject: [Haskell] Deadline extension: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) Message-ID: *** Apologies for cross-posting *** *Due to numerous requests, the deadline of PRDC 2014 has been extended to May 16th 2014.* *Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)* *Singapore Nov 18-21, 2014 * PRDC 2014 (http://prdc.dependability.org/PRDC2014/index.html) is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems. Topics of interest include (but not limited to): - Software and hardware reliability, testing, verification, and validation - Dependability measurement, modeling, evaluation, and tools - Self-healing, self-protecting, and fault-tolerant systems - Software aging and rejuvenation - Safety-critical systems and software - Architecture and system design for dependability - Fault-tolerant algorithms and protocols - Reliability in cloud computing, Internet, and web systems and applications - Cloud and Internet Information security - Dependability issues in computer networks and communications - Dependability issues in distributed and parallel systems - Dependability issues in real-time systems, database, and transaction processing systems - Dependability issues in autonomic computing - Dependability issues in aerospace and embedded systems Paper Submissions Manuscripts should be submitted in the following categories: Regular Papers and Practical Experience Reports. Regular Papers should describe original research (not submitted or published elsewhere) and be not more than 10 pages using IEEE format guidelines or 20 pages double-spaced. Practical Experience Reports (max 6 pages using IEEE format guidelines or 12 pages double-spaced) should describe an experience or a case study, such as the design and deployment of a system or actual failure and recovery field data. The title page should include a 150-word abstract, five keywords, authors' names and affiliations, and a line specifying whether the submission is a Regular Paper or a Practical Experience Report. The full mailing address, phone, fax, and email address of the corresponding author should be specified. All submissions must be made electronically (in PDF format) on the submission web site . Papers will be reviewed internationally and selected based on their originality, significance, relevance, and clarity of presentation. All accepted papers will be published by IEEE Computer Society Press. One outstanding paper will be selected to receive the Best Paper Award. Important Dates Revised submission deadline: May 16, 2014 Revised notification: June 28, 2014 Best regards Yuan-Fang -------------- next part -------------- An HTML attachment was scrubbed... URL: From berthold at Mathematik.Uni-Marburg.de Sun May 4 12:35:41 2014 From: berthold at Mathematik.Uni-Marburg.de (Jost Berthold) Date: Sun, 04 May 2014 14:35:41 +0200 Subject: [Haskell] 3rd CFP: Functional High-Performance Computing 2014 (FHPC'14) Message-ID: <5366341D.30607@mathematik.uni-marburg.de> ===================================================================== CALL FOR PAPERS FHPC 2014 The 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing Gothenburg, Sweden September 4, 2014 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2014) Submission Deadline: Thursday, 15 May, 2014 (anywhere on earth) ===================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. 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. Every year, the FHPC workshop has an application area as a theme. Papers touching on this topic are especially encouraged, though all in-scope papers are welcomed. For FHPC 2014, the theme is "Heterogeneous computing". In the systems and parallelism communities, there has been a lot of work on programming systems with CPUs and GPUs (or other mixed parallel architectures), but in the programming languages community this idea has not received as much attention. At their best, high-level languages can have the degrees of flexibility necessary to abstract over platform differences. Proceedings: ============ Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Thursday, 15 May, 2014 (anywhere on earth) * Author notification: Sunday, 15 June, 2014 * Final copy due: Sunday, 22 June, 2014 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Typical papers are expected to be 8 pages (but up to four additional pages are permitted). Contributions to FHPC 2014 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc14 The submission site is now open. The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees 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 (http://www.sigplan.org/PAC.htm). Programme Committee: ==================== Mary Sheeran (co-chair), Chalmers University of Technology, SE Ryan Newton (co-chair), Indiana University, USA Lennart Augustsson, Standard Chartered Bank, UK Jost Berthold, University of Copenhagen, Denmark Guy Blelloch, Carnegie Mellon University, USA Marius Eriksen, Twitter, USA Clemens Grelck, University of Amsterdam, Netherlands Vinod Grover, Nvidia, USA Kevin Hammond, University of St. Andrews, UK Ben Lippmeier, University of New South Wales, Australia Hai (Paul) Liu, Intel, USA Rita Loogen, University of Marburg, Germany Greg Michaelson, Heriot-Watt University, UK Marc Pouzet, ENS Paris, France John Reppy, Univesity of Chicago, USA Tiark Rompf, Oracle Labs and EPFL, Switzerland Satnam Singh, Google, USA Dimitrios Vytiniotis, Microsoft Research, UK General Chair: ============== Jost Berthold University of Copenhagen, Denmark From mflatt at cs.utah.edu Mon May 5 03:00:34 2014 From: mflatt at cs.utah.edu (Matthew Flatt) Date: Sun, 4 May 2014 21:00:34 -0600 Subject: [Haskell] GPCE 2014 - Final Call for Papers Message-ID: <20140505030037.BBEF0650100@mail-svr1.cs.utah.edu> ------------------------------------------------------------------------ CALL FOR PAPERS 13th International Conference on Generative Programming: Concepts & Experiences (GPCE 2014) September 15-16, 2014 V?ster?s, Sweden (collocated with ASE 2014 and SLE 2014) http://www.gpce.org http://www.facebook.com/GPCEConference http://twitter.com/GPCECONF ------------------------------------------------------------------------ IMPORTANT DATES * Submission of papers: May 30, 2014 * Paper notification: July 7, 2014 SCOPE Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are *Generative Programming* for program synthesis, *Domain-Specific Languages* (DSLs) for compact problem-oriented programming notations, and corresponding *Implementation Technologies* aiming at modularity, correctness, reuse, and evolution. As the field matures *Applications* and *Empirical Results* are of increasing importance. The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. SUBMISSIONS We seek research papers of up to 10 pages in SIGPLAN proceedings style (sigplanconf.cls, see http://www.sigplan.org/authorInformation.htm) reporting original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed below (the PC chair can advise on appropriateness). 4-page short papers and tool demonstrations are also accepted (see website). TOPICS GPCE seeks contributions on all topics related to generative software and its properties. As technology is maturing, this year, we are particularly looking for empirical evaluations in this context. Key topics include (but are certainly not limited too): * Generative software Domain-specific languages Product lines Metaprogramming Program synthesis Implementation techniques and tool support * Properties of generative software Correctness of generators and generated code Reuse and evolution Modularity, separation of concerns, understandability, and maintainability Performance engineering, nonfunctional properties Application areas and engineering practice * Empirical evaluations of all topics above A more detailed list of topics can be found on the website. Examples of key challenges in the field are * Synthesizing code from declarative specifications * Supporting extensible languages and language embedding * Ensuring correctness and other nonfunctional properties of generated code; proving generators correct * Improving error reporting with domain-specific error messages * Reasoning about generators; handling variability-induced complexity in product lines * Providing efficient interpreters and execution languages * Human factors in developing and maintaining generators Note on empirical evaluations: GPCE is committed to the empirical evaluation of generative software. Publishing empirical papers at programming-language venues can be challenging. We understand the frustration of authors when, for example, reviews simply recommend repeating entire experiments with human subjects with slight deviations in execution. To alleviate such problems, we have recruited forto program committee experts who routinely work with empirical methods, and we will actively seek external reviews where appropriate. During submissions, authors can optionally indicate that a paper contains substantial empirical work, and we will endeavor have to the paper reviewed by experts familiar with the empirical research methods that are used in the paper. The program-committee discussions will reflect on both technical contributions and research methods. Policy: Incremental improvements over previously published work should have been evaluated through systematic, comparative, empirical, or experimental evaluation. Submissions must adhere to SIGPLAN's republication policy (http://www.sigplan.org/republicationpolicy.htm). Please contact the program chair if you have any questions about how this policy applies to your paper (chairs at gpce.org). ORGANIZATION Chairs (chairs at gpce.org) General Chair: Ulrik Pagh Schultz (University of Southern Denmark, DK) Program Chair: Matthew Flatt (University of Utah, US) Publicity Chair: Sebastian Erdweg (Technical University of Darmstadt, DE) Local Organizer: Ivica Crnkovic (M?lardalen University, SE) Program Committee Kenichi Asai (Ochanomizu University, JP) Emilie Balland (INRIA, FR) Edwin Brady (University of St Andrews, UK) Dave Clarke (Uppsala University, SE and KU Leuven, BE) Ewen Denney (SGT / NASA, US) Sebastian Erdweg (Technical University of Darmstadt, DE) Martin Erwig (Oregon State University, US) Alessandro Garcia (Pontif?cia Universidade Cat?lica do Rio de Janeiro, BR) Anir?ddh? Gokh?l? (Vanderbilt University, US) Jeff Gray (University of Alabama, US) Stefan Hanenberg (Universit?t Duisburg-Essen, DE) Jaakko J?rvi (Texas A&M University, US) Jean-Marc J?z?quel (IRISA-University of Rennes, FR) Emerson Murphy-Hill (North Carolina State University, US) Nathaniel Nystrom (University of Lugano, CH) Bruno C. d. S. Oliveira (Hong Kong University, HK) Hridesh Rajan (Iowa State University, US) M?rcio Ribeiro (Universidade Federal de Alagoas, BR) Tiark Rompf (Oracle Labs and EPFL, CH) Grigore Rosu (University of Illinois at Urbana-Champaign, US) Norbert Siegmund (Universit?t Passau, DE) Christian Skalka (University of Vermont, US) Scott Smith (Johns Hopkins University, US) ?ric Tanter (Universidad de Chile, CL) Emina Torlak (University of California Berkeley, US) Laurence Tratt (King's College, UK) From garrigue at math.nagoya-u.ac.jp Wed May 7 03:10:33 2014 From: garrigue at math.nagoya-u.ac.jp (Jacques Garrigue) Date: Wed, 7 May 2014 12:10:33 +0900 Subject: [Haskell] APLAS 2014: Last CFP Message-ID: =============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS Abstracts due May 26 (full paper by June 2) =============================================================== ================ INVITED SPEAKERS ================ Zhenjiang Hu (NII, Japan) Dexter Kozen (Cornell University, USA) Julien Verlaguet (Facebook, USA) ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: May 26, 2014 (Monday) Submission due: June 2, 2014 (Monday) Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org From brucker at spamfence.net Wed May 7 20:37:36 2014 From: brucker at spamfence.net (Achim D. Brucker) Date: Wed, 7 May 2014 22:37:36 +0200 Subject: [Haskell] OCL 2014: First Call for Papers Message-ID: <20140507203736.GA2548@fujikawa.home.brucker.ch> (Apologies for duplicates) CALL FOR PAPERS 14th International Workshop on OCL and Textual Modeling Applications and Case Studies (OCL 2014) Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014) September 28-30 (tbc), 2014, VALENCIA, SPAIN http://www.software.imdea.org/OCL2014/ Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- metamodeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. Venue ===== The workshop will be organized as a part of MODELS 2014 Conference in Valencia, Spain. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, and 2013 in Miami. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Two types of papers will be considered: * short papers (6 pages) and * full papers (10 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://www.easychair.org/conferences/?conf=ocl2014). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org). Authors of selected papers will be invited to submit an extended version of their workshop paper to a special issue of the Electronic Communications of the EASST (http://journal.ub.tu-berlin.de/eceasst) Important Dates =============== Submission of papers: July 11, 2014 Notification: August 8, 2014 Workshop date: one day during September 28-30, 2014 Organizers ========== Achim D. Brucker, SAP AG, Germany Carolina Dania, IMDEA Software Institute, Madrid, Spain Geri Georg, Colorado State University, Fort Collins, Colorado, USA Martin Gogolla, University of Bremen, Germany Programme Committee (partly confirmation pending) =================== Michael Altenhofen, SAP AG, Germany Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Fabian Buettner, Ecole des Mines de Nantes, France Achim D. Brucker, SAP AG, Germany Jordi Cabot, INRIA-Ecole des Mines de Nantes, France Yoonsik Cheon, University of Texas, USA Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Madrid, Spain Carolina Dania, IMDEA Software Institute, Madrid, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Atos Research, Madrid, Spain Geri Georg, Colorado State University, Fort Collins, Colorado, USA Martin Gogolla, University of Bremen, Germany Pieter Van Gorp, Eindhoven University of Technology, The Netherlands Heinrich Hussmann, LMU Munchen, Germany Tihamer Levendovszky, Vanderbilt University, USA Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Shane Sendall, Snowie Research SA, Switzerland Michael Wahler, ABB Switzerland Ltd Corporate Research, Switzerland Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ Paris-Sud, France Steffen Zschaler, King?s College, London, UK -- Dr. Achim D. Brucker, SAP AG, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/ From dstcruz at gmail.com Thu May 8 03:26:13 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 7 May 2014 23:26:13 -0400 Subject: [Haskell] Haskell Weekly News: Issue 294 Message-ID: Welcome to issue 294 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from April 27 to May 3, 2014 Quotes of the Week * roconnor: oh no. edwardk and I can never meet otherwise it will be revealed that I am actually him in a very short costume. * edwardk: I'm a product mostly of old Wadler monad papers and TaPL with some Cale thrown in. * benzrf: zippers are fun / they are zippy! / anyway bye Top Reddit Stories * Nikki and the Robots (FOSS Haskell game) has been greenlit on Steam Domain: steamcommunity.com, Score: 130, Comments: 7 Original: [1] http://goo.gl/VgbYzB On Reddit: [2] http://goo.gl/rsKKLn * So I re-implemented Freenet in Haskell, what now? Domain: self.haskell, Score: 85, Comments: 34 Original: [3] http://goo.gl/yLHLD4 On Reddit: [4] http://goo.gl/yLHLD4 * Meditations on learning Haskell from an ex-Clojure user Domain: bitemyapp.com, Score: 79, Comments: 113 Original: [5] http://goo.gl/twtYw2 On Reddit: [6] http://goo.gl/JICvqo * The printer Haskell deserves Domain: chrisdone.com, Score: 77, Comments: 24 Original: [7] http://goo.gl/x8VL1J On Reddit: [8] http://goo.gl/AvMuIo * Erik Meijer: The Curse of the Excluded Middle Domain: queue.acm.org, Score: 76, Comments: 93 Original: [9] http://goo.gl/QbpX9M On Reddit: [10] http://goo.gl/IpliOH * My road to Haskell Domain: alfredodinapoli.com, Score: 74, Comments: 40 Original: [11] http://goo.gl/6oHuNf On Reddit: [12] http://goo.gl/7ER3JC * The Identity monad trick Domain: chrisdone.com, Score: 58, Comments: 62 Original: [13] http://goo.gl/mpL1fa On Reddit: [14] http://goo.gl/Z2fMeB * ekg 0.4 released Domain: blog.johantibell.com, Score: 57, Comments: 5 Original: [15] http://goo.gl/5XZ86C On Reddit: [16] http://goo.gl/Ef3ShV * Evan Czaplicki: Stop saying "the ___ monad" Domain: groups.google.com, Score: 54, Comments: 56 Original: [17] http://goo.gl/36WH0W On Reddit: [18] http://goo.gl/mzcSZi * Thinking in Types Domain: robots.thoughtbot.com, Score: 47, Comments: 28 Original: [19] http://goo.gl/k4bRuD On Reddit: [20] http://goo.gl/G1dbac * Disemboweling WAI (aka gutting out conduit) Domain: yesodweb.com, Score: 46, Comments: 102 Original: [21] http://goo.gl/EQ6hJi On Reddit: [22] http://goo.gl/CQefwI * GHC Status Report, May 2014 Domain: ghc.haskell.org, Score: 44, Comments: 14 Original: [23] http://goo.gl/UbUiIx On Reddit: [24] http://goo.gl/SXY310 * What Do You Think Is Impeding Haskell From Getting Mainstream Adoption? Domain: forbes.com, Score: 44, Comments: 237 Original: [25] http://goo.gl/Qn77nm On Reddit: [26] http://goo.gl/EIQOBr * Pattern Synonyms for Dates and an IRC Bot Domain: fpcomplete.com, Score: 43, Comments: 15 Original: [27] http://goo.gl/LSThZm On Reddit: [28] http://goo.gl/sE3y6p * Elm 0.12.1 - Fast Immutable Arrays Domain: elm-lang.org, Score: 40, Comments: 6 Original: [29] http://goo.gl/rbo80l On Reddit: [30] http://goo.gl/FoC4un * PureScript 0.5 Released Domain: github.com, Score: 38, Comments: 24 Original: [31] http://goo.gl/3cffJq On Reddit: [32] http://goo.gl/AtjJPK * Why category theory matters Domain: rs.io, Score: 38, Comments: 36 Original: [33] http://goo.gl/LQCAk1 On Reddit: [34] http://goo.gl/8xZ9bo Top StackOverflow Questions * What is a good reason to use a type signature for functions when the compiler can infer the types votes: 14, answers: 4 Read on SO: [35] http://goo.gl/48G9iZ * Difference between Monad and Applicative in Haskell votes: 9, answers: 5 Read on SO: [36] http://goo.gl/dL3a4s Until next time, [37]+Daniel Santa Cruz References 1. http://steamcommunity.com/sharedfiles/filedetails/?id=107105028 2. http://www.reddit.com/r/haskell/comments/24fw5k/nikki_and_the_robots_foss_haskell_game_has_been/ 3. http://www.reddit.com/r/haskell/comments/24hjak/so_i_reimplemented_freenet_in_haskell_what_now/ 4. http://www.reddit.com/r/haskell/comments/24hjak/so_i_reimplemented_freenet_in_haskell_what_now/ 5. http://bitemyapp.com/posts/2014-04-29-meditations-on-learning-haskell.html 6. http://www.reddit.com/r/haskell/comments/24adiv/meditations_on_learning_haskell_from_an_exclojure/ 7. http://chrisdone.com/posts/the-printer-haskell-deserves 8. http://www.reddit.com/r/haskell/comments/246iir/the_printer_haskell_deserves/ 9. http://queue.acm.org/detail.cfm?ref=rss&id=2611829 10. http://www.reddit.com/r/haskell/comments/243fm4/erik_meijer_the_curse_of_the_excluded_middle/ 11. http://www.alfredodinapoli.com/posts/2014-04-27-my-road-to-haskell.html 12. http://www.reddit.com/r/haskell/comments/246qty/my_road_to_haskell/ 13. http://chrisdone.com/posts/identity-monad 14. http://www.reddit.com/r/haskell/comments/24cq0u/the_identity_monad_trick/ 15. http://blog.johantibell.com/2014/05/ekg-04-released.html 16. http://www.reddit.com/r/haskell/comments/24g513/ekg_04_released/ 17. https://groups.google.com/forum/m/#!topic/elm-discuss/1acyOfxvasA 18. http://www.reddit.com/r/haskell/comments/24kvwh/evan_czaplicki_stop_saying_the_monad/ 19. http://robots.thoughtbot.com/thinking-in-types 20. http://www.reddit.com/r/haskell/comments/24k2wz/thinking_in_types/ 21. http://www.yesodweb.com/blog/2014/04/disemboweling-wai 22. http://www.reddit.com/r/haskell/comments/246e39/disemboweling_wai_aka_gutting_out_conduit/ 23. https://ghc.haskell.org/trac/ghc/wiki/Status/May14 24. http://www.reddit.com/r/haskell/comments/246fos/ghc_status_report_may_2014/ 25. http://www.forbes.com/sites/quora/2014/04/29/what-do-you-think-is-impeding-haskell-from-getting-mainstream-adoption/ 26. http://www.reddit.com/r/haskell/comments/24ddu3/what_do_you_think_is_impeding_haskell_from/ 27. https://www.fpcomplete.com/user/icelandj/Pattern%20synonyms 28. http://www.reddit.com/r/haskell/comments/24fvyz/pattern_synonyms_for_dates_and_an_irc_bot/ 29. http://elm-lang.org/blog/announce/0.12.1.elm 30. http://www.reddit.com/r/haskell/comments/24jo48/elm_0121_fast_immutable_arrays/ 31. https://github.com/purescript/purescript/releases/tag/v0.5.0 32. http://www.reddit.com/r/haskell/comments/244z52/purescript_05_released/ 33. http://rs.io/2014/04/30/why-category-theory-matters.html 34. http://www.reddit.com/r/haskell/comments/24nhfc/why_category_theory_matters/ 35. http://stackoverflow.com/questions/23401698/what-is-a-good-reason-to-use-a-type-signature-for-functions-when-the-compiler-ca 36. http://stackoverflow.com/questions/23342184/difference-between-monad-and-applicative-in-haskell 37. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From oleg at okmij.org Fri May 9 02:37:09 2014 From: oleg at okmij.org (oleg at okmij.org) Date: 9 May 2014 02:37:09 -0000 Subject: [Haskell] ML Family Workshop -- Last call for presentations Message-ID: <20140509023709.16086.qmail@www1.g3.pair.com> Important dates Monday May 19 (any time zone): Abstract submission Monday June 30: Author notification Thursday September 4, 2014: ML Family Workshop Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 4, 2014, Gothenburg, Sweden (immediately following ICFP and preceding OCaml Users and Developers Workshop) Call For Papers http://okmij.org/ftp/ML/ML14.html ML is a very large family of programming languages that includes Standard ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, and many others. All ML languages, beside the great deal of syntax, share several fundamental traits. They are all higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a significant amount of computer science research and influenced a number of programming languages, including Haskell, Scala and Clojure, as well as Rust, ATS and many others. ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognize the entire extended ML family and to provide the forum to present and discuss common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web) and theoretical (fancy types, module systems, metaprogramming). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience of further developing ML ideas. The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop. Format Since 2010, the ML workshop has adopted an informal model. Presentations are selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-conference proceedings The post-proceedings of selected papers from the ML Family and the OCaml Users and Developers workshops will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). The Program Committee shall invite interested authors of selected presentations to expand their abstract for inclusion in the proceedings. The submissions are to be reviewed according to the EPTCS standards. Coordination with the OCaml Users and Developers Workshop The OCaml workshop is seen as more practical and is dedicated in significant part to the OCaml community building and the evolution of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research oriented, and deals with general issues of the ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the Program Chairs. Scope We acknowledge the whole breadth of the ML family and aim to include languages that are closely related (although not by blood), such as Rust, ATS, Scala, Typed Clojure. Those languages have implemented and investigated run-time and type system choices that may be worth considering for OCaml, F# and other ML languages. We also hope that the exposure to the state of the art ML might favorably influence those related languages. Specifically, we seek research presentations on topics including but not limited to * Design: concurrency, distribution and mobility, programming for the web and embedded systems, handling semi-structured data, facilitating interactive programming, higher forms of polymorphism, generic programming, objects * Implementation: compilation techniques, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Type systems: fancy types, inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Applications: case studies, experience reports, pearls, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Education: ML and ML-like languages in college or high-school, in general or computer science curriculum. Four kinds of submissions will be accepted: Informed Positions, Research Presentations, Experience Reports and Demos. * Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g., by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by a substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. * Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (You will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Submission Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2-3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop program. Submissions must be uploaded to the workshop submission website before the submission deadline (Monday May 19, 2014). For any question concerning the scope of the workshop or the submission process, please contact the program chair. Program Committee Kenichi Asai Ochanomizu University, Japan Matthew Fluet Rochester Institute of Technology, USA Jacques Garrigue Nagoya University, Japan Dave Herman Mozilla, USA Stefan Holdermans Vector Fabrics, Netherlands Oleg Kiselyov (Chair) Monterey, CA, USA Keiko Nakata Tallinn University of Technology, Estonia Didier Remy INRIA Paris-Rocquencourt, France Zhong Shao Yale University, USA Hongwei Xi Boston University, USA From Henrik.Nilsson at nottingham.ac.uk Fri May 9 07:54:02 2014 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Fri, 09 May 2014 08:54:02 +0100 Subject: [Haskell] CFP: FARM 2014: Deadline extended! Message-ID: <536C899A.5010707@nottingham.ac.uk> Dear Haskell interested, You might want to be aware that the deadline for FARM 2014, 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, has been extended to the *** 15 May, 2014 *** http://functional-art.org/2014/cfp.html All the best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham nhn at cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. -------------- next part -------------- FARM 2014 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Gothenburg, Sweden; 6 September, 2014 The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. The language used need not be purely functional (?mostly functional? is fine), and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2014 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: workshop2014 at functional-art.org KEY DATES: Full Paper and Demo Abstract submission Deadline: 15 May (NEW!) Author Notification: 30 May Camera Ready: 18 June Workshop: 6 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The submission itself will be via EasyChair. See the FARM website for further details: http://functional-art.org PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; see http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. WORKSHOP ORGANISATION Workshop Chair: Alex McLean, University of Leeds Program Chair: Henrik Nilsson, University of Nottingham Publicity Chair: Michael Sperber, Active Group GmbH Program Committee: Sam Aaron, Cambridge University David Duke, University of Leeds Kathleen Fisher, Tufts University Julie Greensmith, University of Nottingham Bas de Haas, Universiteit Utrecht Paul Hudak, Yale University David Janin, Universit? de Bordeaux Richard Lewis, Goldsmiths, University of London Louis Mandel, Coll?ge de France Alex McLean, University of Leeds Carin Meier, Neo Innovation Inc Rob Myers, Furtherfield Henrik Nilsson, University of Nottingham (chair) Dan Piponi, Google Inc Andrew Sorensen, Queensland University of Technology Michael Sperber, Active Group GmbH For further details, see the FARM website: http://functional-art.org From lcastro at udc.es Fri May 9 09:57:44 2014 From: lcastro at udc.es (Laura M. Castro) Date: Fri, 9 May 2014 11:57:44 +0200 Subject: [Haskell] Erlang Workshop 2014: deadline extension Message-ID: Hello all, the PC has decided to extend the paper submission deadline for the 13th ACM SIGPLAN Erlang Workshop. Final dates are the following, no further extensions will be granted: Submissions due: Sunday, 18 May, 2014 [extended, final] Author notification: Friday, 12 June, 2014 [extended] Final copy due: Sunday, 22 June, 2014 [unchanged, ACM strict deadline] Workshop date: September 5, 2014 [unchanged] Apologies for any duplicates you may receive. FINAL CALL FOR PAPERS [deadline extension] =================================== Thirteenth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- G?teborg, Sweden, September 5, 2014 Satellite event of the 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014) September 1-3, 2014 http://www.erlang.org/workshop/2014 Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 15 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Laura M. Castro, University of A Coru?a, Spain Hans Svensson, QuviQ AB, Sweden Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jesper L. Andersen, Erlang Solutions Ltd., UK Richard Carlsson, Klarna AB, Sweden Lars-?ke Fredlund, Universidad Polit?cnica de Madrid, Spain Fr?d H?bert, Heroku, USA Kostis Sagonas, Uppsala University, Sweden & NTUA, Greece Simon Thompson, University of Kent, UK Steve Vinoski, Basho Technologies, USA Philip Wadler, University of Edinburgh, UK Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2014" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2014 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2014 web site at: http://icfpconference.org/icfp2014/ Related Links -------------------- ICFP 2014 web site: http://www.icfpconference.org/icfp2014/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2014 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment -- Laura M. Castro Department of Computer Science Universidade da Coru?a (Spain) http://www.madsgroup.org/staff/laura -- Laura M. Castro Souto Departamento de Computaci?n Universidade da Coru?a http://www.madsgroup.org/staff/laura From P.Achten at cs.ru.nl Fri May 9 13:37:12 2014 From: P.Achten at cs.ru.nl (Peter Achten) Date: Fri, 09 May 2014 15:37:12 +0200 Subject: [Haskell] [TFPIE2014] final call for participation Message-ID: <536CDA08.7020501@cs.ru.nl> [FINAL CALL FOR PARTICIPATION] 3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014) May 25, 2014 Utrecht University Soesterberg, The Netherlands (http://www.cs.uwyo.edu/~jlc/tfpie14/) The 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, will be co-located with the Symposium on Trends in Functional Programming (TFP 2014) at Soesterberg, at the ?Kontakt der Kontinenten? hotel in the Netherlands on Sunday, May 25th. TFP will follow from May 26-28. The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2014 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2014 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles not selected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012) and in Provo Utah, USA (2013). ** Invited Speaker ** TFPIE is pleased to announce that professor Johan Jeuring of Utrecht University and Open University, both in The Netherlands is giving an invited talk entitled: "Automatic tutoring and assessing functional programs". ** Program Committee ** James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University Christian Skalka, University of Vermont David Van Horn, Northeastern University ** Program ** The preliminary program of TFPIE 2014 is available at the home site of TFPIE 2014 and the TFPIE wiki (http://wiki.science.ru.nl/tfpie/Main_Page). This year's edition features 14 talks. The program is closed with a plenary discussion. ** Important Dates ** * 1 February 2014: TFPIE submissions open on easychair. * 14 April 2014: Early registration for TFP closes * 21 April 2014: Submission deadline for draft TFPIE papers and abstracts * 27 April 2014: Notification of acceptance for presentation * 15 May 2014: Registration for TFPIE closes - as does late registration for TFP * 25 May 2014: Presentations in Soesterberg, Netherlands * 29 June 2014: Full papers for EPTCS proceedings due * 16 August 2014: Notification of acceptance for proceedings * 8 September 2014: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full paper; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn. At least one author from each accepted presentation must attend the workshop. From w.s.swierstra at uu.nl Fri May 9 14:20:04 2014 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Fri, 9 May 2014 16:20:04 +0200 Subject: [Haskell] Haskell Symposium: abstract submission In-Reply-To: References: Message-ID: Dear all, As Easychair is currently down for unexpected maintenance, you may be experiencing some difficulty submitting your abstract to the Haskell Symposium. Once the site is back online I will send out another announcement with more information. You will have an opportunity to submit your paper; it just might not be today. All the best, Wouter Swierstra Haskell Symposium PC chair -------------- next part -------------- An HTML attachment was scrubbed... URL: From w.s.swierstra at uu.nl Sat May 10 08:05:08 2014 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Sat, 10 May 2014 10:05:08 +0200 Subject: [Haskell] Haskell Symposium: abstract submission In-Reply-To: References: Message-ID: Dear all, I'm happy to announce a deadline extension for submitting your Haskell Symposium abstract to accommodate anyone affected by the EasyChair outage yesterday. Please be sure to register your paper and submit an abstract no later than: ** Saturday, 10 May (anywhere on Earth) ** Note that the deadline for full papers (Monday, 12 May) has not changed. All the best, Wouter From dreixel at gmail.com Sat May 10 18:03:00 2014 From: dreixel at gmail.com (=?UTF-8?Q?Jos=C3=A9_Pedro_Magalh=C3=A3es?=) Date: Sat, 10 May 2014 19:03:00 +0100 Subject: [Haskell] Deadline extended: Workshop on Generic Programming (WGP) 2014 Message-ID: Hello all, Apologies for multiple postings. We've extended the submission deadline for this year's Workshop on Generic Programming until coming Thursday (the 15th of May). This year we also welcome short papers with case studies, tool demos, and generic pearls up to six pages; it's not too late to consider submitting! The call for papers is attached; you'll find more information on the workshop's website: http://www.wgp-sigplan.org/2014 All the best, Pedro -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- ====================================================================== CALL FOR PAPERS WGP 2014 10th ACM SIGPLAN Workshop on Generic Programming Gothenburg, Sweden Sunday, August 31, 2014 http://www.wgp-sigplan.org/2014 Co-located with the International Conference on Functional Programming (ICFP 2014) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- Jos? Pedro Magalh?es (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique F?d?rale de Lausanne (EPFL) Pierre-?variste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen Andrew Lumsdaine, Indiana University Miles Sabin, Underscore Consulting LLP, Chuusai Ltd. Alexander Slesarenko, Huawei Labs & Keldysh Institute of Applied Mathematics (KIAM) Anthony M. Sloane, Macquarie University Wouter Swierstra, Utrecht University Meng Wang, Chalmers University of Technology Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights (http://www.acm.org/publications/policies/copyright_policy). Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Submission details ------------------ Deadline for submission: Thursday 2014-05-15 (extended) Notification of acceptance: Friday 2014-06-06 Final submission due: Wednesday 2014-06-18 Workshop: Sunday 2014-08-31 Submitted papers should fall into one of two categories: * Regular research papers (12 pages) * Short papers: case studies, tool demos, generic pearls (6 pages) Regular research papers are expected to present novel and interesting research results. Short papers need not present novel or fully polished results. Good candidates for short papers are those that report on interesting case studies of generic programming in open source or industry, present demos of generic programming tools or libraries, or discuss elegant and illustrative uses of generic programming ('pearls'). All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular research papers must not exceed 12 pages. Short papers must not exceed 6 pages. If applicable, papers should be marked with one of the labels 'case study, 'tool demo' or 'generic pearl' in the title at the time of submission. Papers should be submitted via EasyChair at https://www.easychair.org/conferences/?conf=wgp2014 Travel Support -------------- Student attendees 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 program, see its web page (http://www.sigplan.org/PAC.htm). History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Boston, Massachusetts, US 2013 (affiliated with ICFP13), * Copenhagen, Denmark 2012 (affiliated with ICFP12), * Tokyo, Japan 2011 (affiliated with ICFP11), * Baltimore, Maryland, US 2010 (affiliated with ICFP10), * Edinburgh, UK 2009 (affiliated with ICFP09), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- Shin-Cheng Mu (chair) Jaako J?rvi Andres L?h Ronald Garcia Jacques Carette Jeremiah Willcock Tim Sheard Stephanie Weirich Tarmo Uustalu From john at repetae.net Sun May 11 20:20:45 2014 From: john at repetae.net (John Meacham) Date: Sun, 11 May 2014 13:20:45 -0700 Subject: [Haskell] ANNOUNCE: jhc-0.8.1 Message-ID: After a hiatus, jhc 0.8.1 is released. http://repetae.net/computer/jhc - New license, jhc is now released under a permissive BSD style licence rather than the GPL. The license is compatible with that of ghc allowing code mixing between them. - New library layout based around the standards, there are now haskell98 and haskell2010 packages that are guarenteed to be future proof strictly compatible with the respective standards. A package haskell-extras contains the additonal libraries from ghc's base. - Native support for complex and vector SIMD primitives, exposed via type functions. for instance 'foo :: Complex_ Float32_' for hardware accelerated complex 32 bit floats for instance. These are unboxed only for now, full library Num support in the works. - support for android as a target, you must install the android NDK to use this. - Support for embedded ARM architectures imported from Kiwamu Okabe's branch allowing targeting bare hardware with no OS. - user defined kinds, introduced with the 'kind' keyword otherwise looking like 'type' declarations. - export/import lists now allow namespace qualifiers kind, class, type, or data to explicitly only import or export the specific named entity. As an extension allowed by this, classes and types no longer are in the same namespace and can share names. - ForeignPtr's now have working finalizers when collected by the RTS. - CTYPE pragma to allow promoting arbitrary C types to FFIable entities. From waldmann at imn.htwk-leipzig.de Mon May 12 12:48:00 2014 From: waldmann at imn.htwk-leipzig.de (Johannes Waldmann) Date: Mon, 12 May 2014 14:48:00 +0200 Subject: [Haskell] CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming Message-ID: <5370C300.20307@imn.htwk-leipzig.de> 23rd International Workshop on Functional and (Constraint) Logic Programming http://www.imn.htwk-leipzig.de/WFLP2014/ colocated with 28th Workshop on (Constraint) Logic Programming (WLP 2014) September 15 - 17, at Leucorea conference center in Lutherstadt Wittenberg, Germany. *********************************************************** Dates: * submission closes: July 1, 2014 * notification: August 1, 2014 * final version due: September 1, 2014 * workshop: September 15 - 17, 2014 *********************************************************** The international workshops on functional and logic programming aim at bringing together researchers interested in functional programming, logic programming, as well as their integration. The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. In this year both workshops will be jointly organized and co-located, in order to promote 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 technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations. The joint workshop will consist of two tracks (WFLP and WLP). Sessions of these two tracks will be interleaved. ************************************************************ Topics The topics of interest include (but are not limited to): Functional programming Logic programming Constraint programming Deductive databases, data mining Extensions of declarative languages, objects Multi-paradigm declarative programming Foundations, semantics, nonmonotonic reasoning, dynamics Parallelism, concurrency Program analysis, abstract interpretation Program transformation, partial evaluation, meta-programming Specification, verification, declarative debugging Knowledge representation, machine learning Interaction of declarative programming with other formalisms (e.g., agents, XML, Java) Implementation of declarative languages Advanced programming environments and tools Software technique for declarative programming Applications The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. ************************************************************ Program Committee (WFLP track) Elvira Albert, Complutense University of Madrid, Spain Sergio Antoy, Portland State University Mauricio Ayala-Rincon, University of Brasilia, Brazil William Byrd, University of Utah Michael Hanus , Universit?t Kiel, Germany Herbert Kuchen, Universit?t M?nster, Germany Carlos Olarte, DECC, Pontificia Universidad Javeriana Cali, Colombia Janis Voigtl?nder, Universit?t Bonn, Germany Johannes Waldmann (chair), HTWK Leipzig, Germany Peter J. Stuckey, NICTA and the University of Melbourne, Australia Ren? Thiemann, University of Innsbruck, Austria Organising Committee Stefan Brass (chair) Universit?t Halle, Germany -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 246 bytes Desc: OpenPGP digital signature URL: From gtener at gmail.com Mon May 12 19:10:12 2014 From: gtener at gmail.com (=?UTF-8?Q?Krzysztof_Skrz=C4=99tnicki?=) Date: Mon, 12 May 2014 21:10:12 +0200 Subject: [Haskell] ANNOUNCE: jhc-0.8.1 In-Reply-To: References: Message-ID: Hello, I tried compiling jhc from source (compiled version doesn't work on my system) but after several attempts I just couldn't find a working set of libraries for it. Can you specify which versions of libraries are known to work for jhc? Best regards, Krzysztof Skrz?tnicki On Sun, May 11, 2014 at 10:20 PM, John Meacham wrote: > After a hiatus, jhc 0.8.1 is released. > > http://repetae.net/computer/jhc > > - New license, jhc is now released under a permissive BSD style licence > rather > than the GPL. The license is compatible with that of ghc allowing code > mixing > between them. > > - New library layout based around the standards, there are now haskell98 > and > haskell2010 packages that are guarenteed to be future proof strictly > compatible with the respective standards. A package haskell-extras > contains > the additonal libraries from ghc's base. > > - Native support for complex and vector SIMD primitives, exposed via type > functions. for instance 'foo :: Complex_ Float32_' for hardware > accelerated > complex 32 bit floats for instance. These are unboxed only for now, full > library Num support in the works. > > - support for android as a target, you must install the android NDK to use > this. > > - Support for embedded ARM architectures imported from Kiwamu Okabe's > branch > allowing targeting bare hardware with no OS. > > - user defined kinds, introduced with the 'kind' keyword otherwise looking > like > 'type' declarations. > > - export/import lists now allow namespace qualifiers kind, class, type, or > data > to explicitly only import or export the specific named entity. As an > extension allowed by this, classes and types no longer are in the same > namespace and can share names. > > - ForeignPtr's now have working finalizers when collected by the RTS. > > - CTYPE pragma to allow promoting arbitrary C types to FFIable entities. > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://www.haskell.org/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From john at repetae.net Mon May 12 19:40:48 2014 From: john at repetae.net (John Meacham) Date: Mon, 12 May 2014 12:40:48 -0700 Subject: [Haskell] ANNOUNCE: jhc-0.8.1 In-Reply-To: References: Message-ID: Hi, I need to update that page, I compile it with the ubuntu ghc and the ubuntu packaged ones. Can you tell me what libraries you are having issues with? the ./configure should tell you the names of any that I expected might be an issue, I'll actually update it to check and report on everything consistently. even ones I expect to come with ghc. If there are compatibility issues between versions that's a bug I can fix. (usually just a 'hiding' or explicit import will fix any such issue) as for the packages i've been testing with fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty. Specific versions should not matter from anything back in ghc 7.2 days to now, if there is a bug where it won't compile with a version expected to be found in the wild, please feel free to report it. John On Mon, May 12, 2014 at 12:10 PM, Krzysztof Skrz?tnicki wrote: > Hello, > > I tried compiling jhc from source (compiled version doesn't work on my > system) but after several attempts I just couldn't find a working set of > libraries for it. Can you specify which versions of libraries are known to > work for jhc? > > Best regards, > Krzysztof Skrz?tnicki > > > On Sun, May 11, 2014 at 10:20 PM, John Meacham wrote: >> >> After a hiatus, jhc 0.8.1 is released. >> >> http://repetae.net/computer/jhc >> >> - New license, jhc is now released under a permissive BSD style licence >> rather >> than the GPL. The license is compatible with that of ghc allowing code >> mixing >> between them. >> >> - New library layout based around the standards, there are now haskell98 >> and >> haskell2010 packages that are guarenteed to be future proof strictly >> compatible with the respective standards. A package haskell-extras >> contains >> the additonal libraries from ghc's base. >> >> - Native support for complex and vector SIMD primitives, exposed via type >> functions. for instance 'foo :: Complex_ Float32_' for hardware >> accelerated >> complex 32 bit floats for instance. These are unboxed only for now, full >> library Num support in the works. >> >> - support for android as a target, you must install the android NDK to use >> this. >> >> - Support for embedded ARM architectures imported from Kiwamu Okabe's >> branch >> allowing targeting bare hardware with no OS. >> >> - user defined kinds, introduced with the 'kind' keyword otherwise looking >> like >> 'type' declarations. >> >> - export/import lists now allow namespace qualifiers kind, class, type, or >> data >> to explicitly only import or export the specific named entity. As an >> extension allowed by this, classes and types no longer are in the same >> namespace and can share names. >> >> - ForeignPtr's now have working finalizers when collected by the RTS. >> >> - CTYPE pragma to allow promoting arbitrary C types to FFIable entities. >> _______________________________________________ >> Haskell mailing list >> Haskell at haskell.org >> http://www.haskell.org/mailman/listinfo/haskell > > -- John Meacham - http://notanumber.net/ From juhp at community.haskell.org Tue May 13 02:56:13 2014 From: juhp at community.haskell.org (Jens Petersen) Date: Tue, 13 May 2014 11:56:13 +0900 Subject: [Haskell] ANNOUNCE: jhc-0.8.1 In-Reply-To: References: Message-ID: Thank you for the new release. :) On 13 May 2014 04:40, John Meacham wrote: > as for the packages i've been testing with > > > fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty. > and editline ? For me it fails to build on Fedora 20 with the readline package but completes with editline. Krzysztof: maybe try removing or hiding the readline package or posting your build error. :) Jens -------------- next part -------------- An HTML attachment was scrubbed... URL: From john at repetae.net Tue May 13 03:09:55 2014 From: john at repetae.net (John Meacham) Date: Mon, 12 May 2014 20:09:55 -0700 Subject: [Haskell] ANNOUNCE: jhc-0.8.1 In-Reply-To: References: Message-ID: Yeah, there was a bug in the way it detected editline/readline which has been fixed in the repo. You can run configure with --disable-line to work around it. or change the word USE_NOLINE to USE_READLINE in src/Util/Interact.hs always some silly typo that works its way in somewhere. I should stop the version number shift and declare it 1.0.0 and use the third digit for actual point releases rather than keep the perpetual 0.x.y wasting the first digit. but then I can't hide behind the 'beta' shield anymore. :) John On Mon, May 12, 2014 at 7:56 PM, Jens Petersen wrote: > Thank you for the new release. :) > > On 13 May 2014 04:40, John Meacham wrote: >> >> as for the packages i've been testing with >> >> >> fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty. > > > and editline ? > > For me it fails to build on Fedora 20 with the readline package but > completes with editline. > > Krzysztof: maybe try removing or hiding the readline package or posting your > build error. :) > > Jens > -- John Meacham - http://notanumber.net/ From gtener at gmail.com Tue May 13 05:36:19 2014 From: gtener at gmail.com (=?UTF-8?Q?Krzysztof_Skrz=C4=99tnicki?=) Date: Tue, 13 May 2014 07:36:19 +0200 Subject: [Haskell] ANNOUNCE: jhc-0.8.1 In-Reply-To: References: Message-ID: Hmm, I'll give it a try, thanks! As for the other errors for sure there is missing Binary instance for strict ByteStrings in newest binary package. Another one is instance for Show (Identity a) which in turn needed to be commented out because it appeared in newer version of some other package, don't know which one. Lastly I get a lot of errors caused by mixing library versions. I *think* that the problem is that, unlike Cabal, the Makefile specifies -package foo without specific versions. The result is that, given the fact that I have more than 1 version of many libraries installed, it tries to build with two different versions of same library, or so would it seem: 1 is dependency of other library, the other is from -package specification. I think this is the case. This is why I asked for specific versions of all the libraries involved. The idea was to simply specify *all* of them on command line and/or Makefile. Right now I don't have time to replicate the errors, but I will try again building jhc later. Best regards, Krzysztof On Tue, May 13, 2014 at 5:09 AM, John Meacham wrote: > Yeah, there was a bug in the way it detected editline/readline which > has been fixed in the repo. > > You can run configure with --disable-line to work around it. or change > the word USE_NOLINE to USE_READLINE in src/Util/Interact.hs > > always some silly typo that works its way in somewhere. I should stop > the version number shift and declare it 1.0.0 and use the third digit > for actual point releases rather than keep the perpetual 0.x.y wasting > the first digit. but then I can't hide behind the 'beta' shield > anymore. :) > > John > > On Mon, May 12, 2014 at 7:56 PM, Jens Petersen > wrote: > > Thank you for the new release. :) > > > > On 13 May 2014 04:40, John Meacham wrote: > >> > >> as for the packages i've been testing with > >> > >> > >> > fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty. > > > > > > and editline ? > > > > For me it fails to build on Fedora 20 with the readline package but > > completes with editline. > > > > Krzysztof: maybe try removing or hiding the readline package or posting > your > > build error. :) > > > > Jens > > > > > > -- > John Meacham - http://notanumber.net/ > -------------- next part -------------- An HTML attachment was scrubbed... URL: From john at repetae.net Tue May 13 09:56:11 2014 From: john at repetae.net (John Meacham) Date: Tue, 13 May 2014 02:56:11 -0700 Subject: [Haskell] ANNOUNCE: jhc-0.8.1 In-Reply-To: References: Message-ID: I modified it so all packages depended on are listed in only a single spot in the configuration to make it easier to change and give much better error messages. see the new http://repetae.net/repos/jhc/configure.ac and the NEEDS_PACKAGE macros. Possibly existing instances are pretty easy to work around, see USE_MONOID_DOC in the config file. I'll make the show instance for identity conditionally defined too, since that seems to be floating around. Having to specify specific versions in the script would be hacky, much better to actually identify the reasons for incompatibility and choose based on that. John On Mon, May 12, 2014 at 10:36 PM, Krzysztof Skrz?tnicki wrote: > Hmm, I'll give it a try, thanks! > As for the other errors for sure there is missing Binary instance for strict > ByteStrings in newest binary package. > Another one is instance for Show (Identity a) which in turn needed to be > commented out because it appeared in newer version of some other package, > don't know which one. > Lastly I get a lot of errors caused by mixing library versions. I *think* > that the problem is that, unlike Cabal, the Makefile specifies -package foo > without specific versions. The result is that, given the fact that I have > more than 1 version of many libraries installed, it tries to build with two > different versions of same library, or so would it seem: 1 is dependency of > other library, the other is from -package specification. I think this is the > case. > This is why I asked for specific versions of all the libraries involved. The > idea was to simply specify *all* of them on command line and/or Makefile. > > Right now I don't have time to replicate the errors, but I will try again > building jhc later. > > > Best regards, > Krzysztof > > > On Tue, May 13, 2014 at 5:09 AM, John Meacham wrote: >> >> Yeah, there was a bug in the way it detected editline/readline which >> has been fixed in the repo. >> >> You can run configure with --disable-line to work around it. or change >> the word USE_NOLINE to USE_READLINE in src/Util/Interact.hs >> >> always some silly typo that works its way in somewhere. I should stop >> the version number shift and declare it 1.0.0 and use the third digit >> for actual point releases rather than keep the perpetual 0.x.y wasting >> the first digit. but then I can't hide behind the 'beta' shield >> anymore. :) >> >> John >> >> On Mon, May 12, 2014 at 7:56 PM, Jens Petersen >> wrote: >> > Thank you for the new release. :) >> > >> > On 13 May 2014 04:40, John Meacham wrote: >> >> >> >> as for the packages i've been testing with >> >> >> >> >> >> >> >> fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty. >> > >> > >> > and editline ? >> > >> > For me it fails to build on Fedora 20 with the readline package but >> > completes with editline. >> > >> > Krzysztof: maybe try removing or hiding the readline package or posting >> > your >> > build error. :) >> > >> > Jens >> > >> >> >> >> -- >> John Meacham - http://notanumber.net/ > > -- John Meacham - http://notanumber.net/ From ivan.miljenovic at gmail.com Tue May 13 13:18:24 2014 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Tue, 13 May 2014 23:18:24 +1000 Subject: [Haskell] ANNOUNCE: graphviz-2999.17.0.0 Message-ID: It's taken me over a year, but I'm pleased to announce the latest version of my graph visualisation (via the Graphviz suite of tools) library: http://hackage.haskell.org/package/graphviz You can read all the changes in the Changelog (now linked to from the Hackage page, thanks to the magic of Hackage 2.0! :o), but here are some explicit non-API changes that people should probably be made aware of: * Parsing is currently about 8x slower than previously... because I suggested something two years ago to Malcolm Wallace on what seemed to make polyparse faster; he then released that change as part of polyparse-1.9 a year ago, but now when I do proper benchmarks (rather than the extremely limited ones I did then) I find that my changes actually make it _slower_ in real world usage. Whoops! I'm still using polyparse-1.9 in the hopes that Malcolm is able to release a point-fix release to revert my suggestion. * I'm not sure when it happened, but upstream Graphviz seems to have changed the behaviour of `dot -Tcanon` such that nodes are now interspersed among the edges (and I have been told that it's just a pretty-printer and that it's behaviour should not matter). As such, it is highly recommended that people only use the Generalised representation for parsing unless they're very sure of their input sources. One other change that people might find useful: if I ever again take so long (i.e. 4 major version releases of upstream) to update graphviz such that the various Attribute definitions are no longer valid and fail to parse, there's now (semi-experimental) support for having unrecognised attributes be parsed as an UnknownAttribute instead; but most of the other functions aren't aware of this functionality and thus you might need to duplicate a lot of code if you want to use this with other features like round-tripping. -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From lemming at henning-thielemann.de Tue May 13 21:15:53 2014 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Tue, 13 May 2014 23:15:53 +0200 Subject: [Haskell] Automated YouTube uploads Message-ID: <53728B89.4020801@henning-thielemann.de> In case I did not announce it before - I wrote a set of two small programs that upload videos to YouTube. It is useful in two situations: 1. Upload a list of videos with metadata fetched from a spreadsheet. 2. Upload from a remote machine without a graphical browser. http://hackage.haskell.org/package/youtube You need 'curl' to be installed and you need to register for a YouTube developer key. From Rachid.Echahed at imag.fr Wed May 14 08:54:49 2014 From: Rachid.Echahed at imag.fr (Rachid Echahed) Date: Wed, 14 May 2014 10:54:49 +0200 Subject: [Haskell] [GCM 2014] Last CFP : Graph Computation Models Message-ID: <53732F59.3020207@imag.fr> ----------------------------------------------------------------------- Last CALL FOR PAPERS GCM 2014 Fifth International Workshop on Graph Computation Models York, UK, July 21st, 2014 http://gcm2014.imag.fr/ Part of ICGT 2014 http://www.2014.icgt-conferences.org/ Full versions of best papers will be included in an issue of the the international journal of the "Electronic Communications of the EASST" -------------------------------------------------------------------------- Aims The aim of the International Workshop GCM2014 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas. GCM 2014 is a one-day satellite event of ICGT and STAF, which will take place in York, UK, from 21 to 25 of July 2014. Previous editions of GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008), in Enschede, The Netherlands (GCM 2010) and in Bremen, Germany (GCM 2012). ----------------------------------------------------------------------- Topics of Interest GCM 2014 solicits papers in all areas of Graph Computation Models including but not limited to: Foundations : Models of graph transformation; Parallel, concurrent, and distributed; graph transformations; Term graph rewriting; Logics on graphs and graph transformations; Formal graph languages Analysis and verification of graph transformation systems; Foundations of programming languages Applications : Software architecture; Software validation; Software evolution; Visual programming; Security models; Implementation of programming languages; Rule-based systems; Workflow and business processes; Model-driven engineering; Service-oriented applications; Bioinformatics and system biology; Quantum computing, Case-studies ----------------------------------------------------------------------- Important Dates Abstract submission: 18 May 2014 Paper submission: 25 May 2014 Notification: 15 June 2014 Preliminary Proceedings: 29 June 2014 Workshop: 21 July 2014 ----------------------------------------------------------------------- Submissions and Publication Authors are invited to submit either regular papers (up to 15 pages), or position papers, system descriptions, work in progress, extended abstracts (5-7 pages), via the EasyChair system, at URL https://www.easychair.org/conferences/?conf=gcm2014 Submissions should be in PDF format, using Lecture Notes in Computer Science (LNCS) style. Preliminary proceedings will be distributed at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. These submissions will pass through a second round of reviewing and accepted contributions are to be published as a special issue of the international journal of the "Electronic Communications of the EASST". ----------------------------------------------------------------------- Program Committee * Rachid Echahed, CNRS and University of Grenoble, France * Annegret Habel, University of Oldenburg, Germany * Dirk Janssens, University of Antwerp, Belgium * Hans-Joerg Kreowski, University of Bremen, Germany * Mohamed Mosbah, University of Bordeaux, France * Detlef Plump, University of York, UK ----------------------------------------------------------------------- Organizers and contact * Rachid Echahed, CNRS and University of Grenoble, France * Annegret Habel, University of Oldenburg, Germany * Mohamed Mosbah, University of Bordeaux, France You can contact GCM 2014 organizers via: gcm-email at imag.fr From yminsky at janestreet.com Thu May 15 09:24:44 2014 From: yminsky at janestreet.com (Yaron Minsky) Date: Thu, 15 May 2014 10:24:44 +0100 Subject: [Haskell] [JOB] Compiler engineer at Jane Street Message-ID: Jane Street is looking to hire an experienced compiler engineer to work on improving the OCaml compiler. The focus would be on performance-related improvements to the compiler and runtime system. The job would also include working on other aspects of the compiler and the supporting toolchain including our internal development tools. We're particularly interested in people with experience in areas like optimization, GC and language runtimes, and are happy to consider candidates who are not (yet) OCaml experts. The position would be full-time, and could be based in either London or New York. If you're interested (or know someone I should reach out to), please email me directly, at yminsky at janestreet.com. From publicityifl at gmail.com Thu May 15 09:56:09 2014 From: publicityifl at gmail.com (publicityifl at gmail.com) Date: Thu, 15 May 2014 02:56:09 -0700 (PDT) Subject: [Haskell] First call for papers IFL 2014 Message-ID: <53748f39.48ae0e0a.17e2.34d6@mx.google.com> Hello, Please, find below the first call for papers for IFL 2014. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- CALL FOR PAPERS 26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2014 NORTHEASTERN UNIVERSITY/BOSTON, USA OCTOBER 1-3, 2014 http://ifl2014.github.io We are pleased to announce that the 26th edition of the IFL series will be held at Northeastern University in Boston, USA. The symposium will be held from 1st to 3rd of October 2014. Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2014 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2014 will use a post-symposium review process to produce the formal proceedings. All participants of IFL 2014 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Submission Details ------------------ Submission deadline draft papers: September 1 Notification of acceptance for presentation: September 5 Early registration deadline: September 10 Late registration deadline: September 17 Submission deadline for pre-symposium proceedings: September 24 26th IFL Symposium: October 1-3 Submission deadline for post-symposium proceedings: December 15 Notification of acceptance for post-symposium proceedings: January 31 2015 Camera-ready version for post-symposium proceedings: March 15 2015 Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2014, please contact the PC chair at samth at cs.indiana.edu. Topics of interest include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- Sam Tobin-Hochstadt, Indiana University (Chair) Rinus Plasmeijer, Radboud University Nijmegen (Co-Chair) Atze Dijkstra, Utrecht University Colin Runciman, University of York Graham Hutton, University of Nottingham Mary Sheeran, Chalmers University of Technology Patricia Johann, Appalachian State University Matthew Fluet, Rochester Institute of Technology Josef Svenningsson, Chalmers University of Technology Malgorzata Biernacka, University of Wroclaw Peter Achten, Radboud Univerity Nijmegen Laura Castro, University of A Coru?a Hai Paul Liu, Intel Labs Kathryn Gray, Cambridge University Lars Bergstrom, Mozilla Research Lindsey Kuper, Indiana University Nicolas Wu, Oxford T. Stephen Strickland, University of Maryland Xavier Clerc, INRIA Venue ----- The 26th IFL will be held in association with the College of Computer and Information Science at Northeastern University. It can be reached quickly and easily by public transport. From icfp.publicity at googlemail.com Fri May 16 20:29:02 2014 From: icfp.publicity at googlemail.com (David Van Horn) Date: Fri, 16 May 2014 16:29:02 -0400 Subject: [Haskell] ICFP 2014 Student Research Competition: Call for Submissions Message-ID: ====================================================================== CALL FOR SUBMISSION SRC at ICFP 2014 Gothenburg, Sweden 1-3 September 2014 http://www.icfpconference.org/icfp2014/src.html Co-located with the International Conference on Functional Programming (ICFP 2014) ====================================================================== Student Research Competition ------------------------ This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at the ICFP 2014 consists of three rounds: Extended abstract round: All students are encouraged to submit an extended abstract outlining their research (800 words). Poster session at ICFP 2014: Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be eligible for some travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category* (graduate/undergraduate) to advance to the next round. ICFP presentation: The last round will consist of an oral presentation at the ICFP to compete for the final awards in each category. Prizes ----- * Both the top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively. * All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM???s Digital Library. * The names of the winners will be posted on the SRC web site. * The overall first place winner of the SRC will be invited to participate in the ACM SRC Grand Finals, an on-line round of competitions among the winners of other conference-hosted SRCs. * Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). * The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. * The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the ACM website. Eligibility -------- The SRC is open to both undergraduate (not in a PhD programme) and graduate students (in a PhD programme). Upon submission, entrants must be enrolled as a student at their universities, and are ACM student members. Furthermore, there are some constraints on what kind of work may be submitted. Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next ICFP or POPL. Collaborative work: Students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, submissions are individual, so they must focus on the contributions of the student. Submission Details --------------- Each submission should include the student author???s name, institutional affiliation, e-mail address, and postal address; research advisor???s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in attacking the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to computer science and explain the significance of those results. The abstract must describe the student???s individual research and must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student???s role was and should focus on that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. Important Dates ------------- * Deadline for submission: 29 June * Notification of acceptance: 14 July Selection Committee ---------------- Jeremy Gibbons, University of Oxford Andrew Kennedy, Microsoft Research Cambridge Matthieu Sozeau, INRIA Paris Sam Tobin-Hochstadt, Indiana University Meng Wang, Chalmers University of Technology (Chair) Stephanie Weirich, University of Pennsylvania Transport of your poster ------------------- You can either bring your poster on your own to the conference or mail it to the local organizers: Attn.: Meng Wang Chalmers University of Technology Department of Computer Science and Engineering SE-412 96 G?teborg, Sweden If you choose to mail, please make sure that the poster will arrive at the latest on 30th August 2014. From lemming at henning-thielemann.de Mon May 19 19:03:06 2014 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Mon, 19 May 2014 21:03:06 +0200 Subject: [Haskell] HaL-9 registration open Message-ID: <537A556A.3050001@henning-thielemann.de> A message for German Haskell users follows: ------------------------------------ HaL ist ein lokaler Haskell-Workshop mit ?berregionaler Bedeutung, der nun bereits das 9. Mal stattfindet. Dieses Jahr laden wir f?r den 20. Juni ins Institut f?r Informatik an der Martin-Luther-Universit?t Halle-Wittenberg ein. Das Programm f?r HaL-9 kann man herunterladen von: http://code.haskell.org/hal/09-2014/druck/programm.pdf Es wird noch kleinere ?nderungen und Erweiterungen geben. Das endg?ltige Programm werden wir beim Empfang austeilen. Anmelden kann man sich unter: http://sim.mathematik.uni-halle.de:8080/hal9/ Anmeldeschluss ist 2014-06-11. Fr?hes Anmelden sichert Pl?tze in den beliebtesten Tutorien! Viele Gr??e Henning Thielemann From oleg at okmij.org Tue May 20 06:58:26 2014 From: oleg at okmij.org (oleg at okmij.org) Date: 20 May 2014 06:58:26 -0000 Subject: [Haskell] ML Family workshop - Extended deadline Message-ID: <20140520065826.84817.qmail@www1.g3.pair.com> Extended submission deadline: May 23 (Friday), any time zone Four more days to write a 2-page abstract Submissions of demos, case studies and informed opinions are particularly encouraged! Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 4, 2014, Gothenburg, Sweden (immediately following ICFP and preceding OCaml Users and Developers Workshop) Call For Papers http://okmij.org/ftp/ML/ML14.html ML is a very large family of programming languages that includes Standard ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, and many others. All ML languages, beside the great deal of syntax, share several fundamental traits. They are all higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a significant amount of computer science research and influenced a number of programming languages, including Haskell, Scala and Clojure, as well as Rust, ATS and many others. ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognize the entire extended ML family and to provide the forum to present and discuss common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web) and theoretical (fancy types, module systems, metaprogramming). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience of further developing ML ideas. The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop. Format Since 2010, the ML workshop has adopted an informal model. Presentations are selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-conference proceedings The post-proceedings of selected papers from the ML Family and the OCaml Users and Developers workshops will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). The Program Committee shall invite interested authors of selected presentations to expand their abstract for inclusion in the proceedings. The submissions are to be reviewed according to the EPTCS standards. Coordination with the OCaml Users and Developers Workshop The OCaml workshop is seen as more practical and is dedicated in significant part to the OCaml community building and the evolution of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research oriented, and deals with general issues of the ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the Program Chairs. Scope We acknowledge the whole breadth of the ML family and aim to include languages that are closely related (although not by blood), such as Rust, ATS, Scala, Typed Clojure. Those languages have implemented and investigated run-time and type system choices that may be worth considering for OCaml, F# and other ML languages. We also hope that the exposure to the state of the art ML might favorably influence those related languages. Specifically, we seek research presentations on topics including but not limited to * Design: concurrency, distribution and mobility, programming for the web and embedded systems, handling semi-structured data, facilitating interactive programming, higher forms of polymorphism, generic programming, objects * Implementation: compilation techniques, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Type systems: fancy types, inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Applications: case studies, experience reports, pearls, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Education: ML and ML-like languages in college or high-school, in general or computer science curriculum. Four kinds of submissions will be accepted: Informed Positions, Research Presentations, Experience Reports and Demos. * Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g., by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by a substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. * Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (You will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Important dates Friday May 23 (any time zone): Abstract submission Monday June 30: Author notification Thursday September 4, 2014: ML Family Workshop Submission Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2-3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop program. Submissions must be uploaded to the workshop submission website before the submission deadline (Monday May 19, 2014). For any question concerning the scope of the workshop or the submission process, please contact the program chair. Program Committee Kenichi Asai Ochanomizu University, Japan Matthew Fluet Rochester Institute of Technology, USA Jacques Garrigue Nagoya University, Japan Dave Herman Mozilla, USA Stefan Holdermans Vector Fabrics, Netherlands Oleg Kiselyov (Chair) Monterey, CA, USA Keiko Nakata Tallinn University of Technology, Estonia Didier Remy INRIA Paris-Rocquencourt, France Zhong Shao Yale University, USA Hongwei Xi Boston University, USA From berthold at Mathematik.Uni-Marburg.de Wed May 21 15:33:29 2014 From: berthold at Mathematik.Uni-Marburg.de (Jost Berthold) Date: Wed, 21 May 2014 17:33:29 +0200 Subject: [Haskell] Call for Contributions: Haskell Implementors' Workshop 2014 Message-ID: <537CC749.7040708@mathematik.uni-marburg.de> Call for Contributions ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2014 Gothenburg, Sweden, 06 September, 2014 Co-located with ICFP 2014 http://www.icfpconference.org/icfp2014/ Important dates --------------- Proposal Deadline: Monday, 14 July, 2014 (midnight, anywhere on earth) Notification: 21 July 2014 Workshop: Saturday, 6 September 2014 The 6th Haskell Implementors' Workshop is to be held alongside ICFP 2014 this year in Gothenburg. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings; the workshop will be informal and interactive, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks. Attendance figures clearly reflect the growth of the Haskell user community and a constant interest in implementation aspects. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2014. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. In the Haskell Implementors' Workshop, we hope to study the underlying technology. We want to bring together anyone interested in the nitty-gritty details behind turning plain-text source code into a deployed product. Having said that, members of the wider Haskell community are more than welcome to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- At this stage we would like to invite proposals from potential speakers for talks and demonstrations. We are aiming for 20 minute talks with 10 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions should be made via EasyChair. The website is: https://www.easychair.org/conferences/?conf=hiw2014 If you don't have an account you can create one here: https://www.easychair.org/account/signup.cgi Because the submission is an abstract only, please click the "abstract only" button when you make your submission. There is no need to attach a separate file. We will also have a lightning talks session which will be organised on the day. These talks will be 5-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Organisers ---------- * Jost Berthold (co-chair) (University of Copenhagen) * Kevin Hammond (University of St.Andrews) * Gabriele Keller (University of New South Wales) * Paul Liu (Intel Labs) * Rita Loogen (Philipps-Universitat Marburg) * Geoffrey Mainland (co-chair) (Drexel University, Philadelphia) * Carter Schonwald (WellPosed Ltd) Contact ------- * hiw2014 at easychair.org * Jost Berthold * Geoffrey Mainland From mihai.maruseac at gmail.com Wed May 21 23:19:09 2014 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Wed, 21 May 2014 19:19:09 -0400 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (26th ed., May 2014) Message-ID: On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (26th edition, May 2014) is now available, in PDF and HTML formats: http://www.haskell.org/communities/05-2014/report.pdf http://www.haskell.org/communities/05-2014/html/report.html 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. We hope you will find it as interesting a read as we 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 editors collect all the contributions into a single report and feed that back to the community. When we 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 October 2014: target deadline for contributions to the November 2014 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 editors for a simple e-mail reminder in October (you could point us to them as well, and we 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! Mihai Maruseac and Alejandro Serrano Mena -- Mihai Maruseac (MM) "If you don't know, the thing to do is not to get scared, but to learn." -- Atlas Shrugged. From c.grelck at uva.nl Sun May 25 21:13:13 2014 From: c.grelck at uva.nl (Clemens Grelck) Date: Sun, 25 May 2014 23:13:13 +0200 Subject: [Haskell] Call for participation: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications Message-ID: <53825CE9.30300@uva.nl> =========================================================================== CALL FOR PARTICIPATION HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Early registration deadline: June 16 =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium and thereafter published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Programme committee: Marco Aldinucci, University of Torino, Italy Jost Berthold, University of Copenhagen, Denmark Rob Bisseling, Utrecht University, Netherlands Murray Cole, University of Edinburgh, United Kingdom Joel Falcou, MetaScale / Universit? Paris-Sud, France Clemens Grelck, University of Amsterdam, Netherlands (Chair) Ga?tan Hains, Universit? Paris-Est, France Zhenjiang Hu, National Institute of Informatics, Japan Youry Khmelevsky, University of British Columbia / Okanagan College, Canada Herbert Kuchen, University of M?nster, Germany Kiminori Matsuzaki, Kochi University of Technology, Japan Frank Penczek, Intel Ulm, Germany Susanna Pelagatti, University of Pisa, Italy Tiark Rompf, Oracle Labs / Ecole Polytechnique F?d?rale de Lausanne, Switzerland Francisco de Sande, University of La Laguna, Spain Kostis Sagonas, Uppsala University, Sweden Vijay Saraswat, IBM Thomas J. Watson Research Center, USA Sven-Bodo Scholz, Heriot-Watt University, United Kingdom =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck at uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Ga?tan Hains (Universit? Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Fr?d?ric Loulergue (Universit? d'Orl?ans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orl?ans, France =========================================================================== -- ---------------------------------------------------------------------- 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 ---------------------------------------------------------------------- From garrigue at math.nagoya-u.ac.jp Tue May 27 03:19:29 2014 From: garrigue at math.nagoya-u.ac.jp (Jacques Garrigue) Date: Tue, 27 May 2014 12:19:29 +0900 Subject: [Haskell] APLAS 2014: Extended deadline Message-ID: <6B649498-3DE0-4282-A56A-5DDBE969E305@math.nagoya-u.ac.jp> =============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS Abstracts due June 2 (full paper by June 8) =============================================================== ================ INVITED SPEAKERS ================ Zhenjiang Hu (NII, Japan) Dexter Kozen (Cornell University, USA) Julien Verlaguet (Facebook, USA) ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: June 2, 2014 (Monday) 23:59 UTC-11 Submission due: June 8, 2014 (Sunday) 23:59 UTC-11 Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org From jv at informatik.uni-bonn.de Tue May 27 05:14:22 2014 From: jv at informatik.uni-bonn.de (Janis Voigtlaender) Date: Tue, 27 May 2014 07:14:22 +0200 Subject: [Haskell] Second Workshop on Haskell And Rewriting Techniques (HART 2014, co-located with ICFP 2014) Message-ID: <53841F2E.20508@informatik.uni-bonn.de> CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations, often constructor-based. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections. In addition to an invited talk by Oleg Kiselyov, we plan a half day of discussions, in an informal setting, on how Haskell (and related languages) and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example: ==================================== - equational reasoning and other rewriting techniques for program verification and analysis; - lambda calculi and type systems for functional programs and higher-order rewrite systems; - rewriting of type expressions in the type checker; - rewriting of programs by refactoring tools, optimizers, code generators; - execution of programs as a form of graph rewriting (terms with sharing); - Template Haskell, generally introducing a rewriting-like macro language into the compilation process. This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, ... When in doubt, please contact a member of the PC (see below). Dates: ====== July 2: deadline for submissions July 21: notification of acceptance September 5: workshop Submission and proceedings: =========================== We solicit two types of submissions: - Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings. - Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings. Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014 In line with the informal style of the workshop, the reviewing of submissions will be light. Proceedings will be made available electronically. Program committee: ================== Bertram Felgenhauer Carsten Fuhs Andy Gill Makoto Hamana Bastiaan Heeren Femke van Raamsdonk Tiark Rompf Kristoffer Rose (co-chair) Christian Sternagel Janis Voigtl?nder (co-chair) Johannes Waldmann From dstcruz at gmail.com Thu May 29 03:14:59 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 28 May 2014 23:14:59 -0400 Subject: [Haskell] Haskell Weekly News: Issue 295 Message-ID: Welcome to issue 294 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from May 4 to 24, 2014 Quotes of the Week * dalaing: going from doing a fair bit of haskell recently to doing javascript today... sigh... it feels like the difference between typing at a keyboard and typing with a pair of those sporting-event-foam-hands-with-a-pointing-finger on * monochrom: to be blunt, I believe that "I do X for a living" means nothing. politicians do politics for a living too, what is the result? * Cale: Java seems like it was designed especially to be a strawman for people who hate static type systems * ReinH: Every so often edwardk goes up to the mountain of CT and brings us some new tablets edwardk: hear that dolio? we're going to start calling you the mountain. Top Reddit Stories * #haskell is welcoming and troll resistent (just found this by accident) Domain: gist.github.com, Score: 172, Comments: 19 Original: [1] http://goo.gl/TCiMW On Reddit: [2] http://goo.gl/JZNY3M * $7.5m DoD grant to develop Homotopy Type Theory Domain: cmu.edu, Score: 117, Comments: 70 Original: [3] http://goo.gl/EmSlbE On Reddit: [4] http://goo.gl/sKjGIl * Understanding the Stack Domain: well-typed.com, Score: 102, Comments: 13 Original: [5] http://goo.gl/qo9m5O On Reddit: [6] http://goo.gl/MVvaQn * Elm 0.12.3 - efficient 3D rendering with WebGL Domain: elm-lang.org, Score: 82, Comments: 19 Original: [7] http://goo.gl/iATfSi On Reddit: [8] http://goo.gl/QJ5ttp * An example of a Real World Haskell Application Architecture Domain: self.haskell, Score: 68, Comments: 36 Original: [9] http://goo.gl/ZTcr1x On Reddit: [10] http://goo.gl/ZTcr1x * ezyang: ?try a <|> b? considered harmful Domain: blog.ezyang.com, Score: 67, Comments: 29 Original: [11] http://goo.gl/BEkC6W On Reddit: [12] http://goo.gl/3oql5l * 9m URL Shortener (Written in Haskell) Domain: 9m.no, Score: 67, Comments: 27 Original: [13] http://goo.gl/E0NoYv On Reddit: [14] http://goo.gl/n4cyN5 * Announce: JHC 0.8.1 IS OUT Domain: notanumber.net, Score: 66, Comments: 14 Original: [15] http://goo.gl/n6qAcf On Reddit: [16] http://goo.gl/wSMrva * Haskell for Mac OS X, self-contained relocatable GHC builds Domain: ghcformacosx.github.io, Score: 64, Comments: 35 Original: [17] http://goo.gl/CvsYC7 On Reddit: [18] http://goo.gl/WcIBw5 * Binary serialisation: better, stronger, faster (PDF, Duncan Coutts, March 2014) Domain: code.haskell.org, Score: 63, Comments: 39 Original: [19] http://goo.gl/r4xShZ On Reddit: [20] http://goo.gl/xhJRbg * CS240h lecture notes Domain: scs.stanford.edu, Score: 61, Comments: 8 Original: [21] http://goo.gl/F39zHe On Reddit: [22] http://goo.gl/AQqrUj * Haskell-mode documentation Domain: chrisdone.com, Score: 58, Comments: 28 Original: [23] http://goo.gl/XzKMCk On Reddit: [24] http://goo.gl/DZBQtO * PSA: you can now visit status.haskell.org Domain: status.haskell.org, Score: 58, Comments: 19 Original: [25] http://goo.gl/oRHfsn On Reddit: [26] http://goo.gl/Ye9YU2 * Once more into the teach, dear friends Domain: serpentine.com, Score: 57, Comments: 11 Original: [27] http://goo.gl/L8Csnm On Reddit: [28] http://goo.gl/AyF2Fs * What Features Would You Like to Find in a Haskell IDE? Domain: self.haskell, Score: 57, Comments: 90 Original: [29] http://goo.gl/Pvo32I On Reddit: [30] http://goo.gl/Pvo32I * Adventure with Types in Haskell - Simon Peyton Jones [1:33:36] Domain: youtu.be, Score: 57, Comments: 10 Original: [31] http://goo.gl/L9wGWe On Reddit: [32] http://goo.gl/sL3u8i * Ars Technica has Haskell as one of three potential heirs to Fortran's scientific computing throne Domain: arstechnica.com, Score: 56, Comments: 78 Original: [33] http://goo.gl/lxWcdK On Reddit: [34] http://goo.gl/kCxUS9 Top StackOverflow Questions * Why does Haskell's ?do nothing? function, id, consume tons of memory? votes: 72, answers: 1 Read on SO: [35] http://goo.gl/8awkSk * Are Ana-/Catamorphisms just slower? votes: 29, answers: 2 Read on SO: [36] http://goo.gl/wcmkQw * Code becomes slower as more boxed arrays are allocated votes: 22, answers: 2 Read on SO: [37] http://goo.gl/qfKo2a * Which part of Real World Haskell is now obsolete or considered bad practise? votes: 22, answers: 1 Read on SO: [38] http://goo.gl/EtT51x Until next time, [39]+Daniel Santa Cruz References 1. https://gist.github.com/quchen/5280339 2. http://www.reddit.com/r/haskell/comments/2516e4/haskell_is_welcoming_and_troll_resistent_just/ 3. http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html 4. http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_homotopy_type_theory/ 5. http://www.well-typed.com/blog/94/ 6. http://www.reddit.com/r/haskell/comments/2641x0/understanding_the_stack/ 7. http://elm-lang.org/blog/announce/0.12.3.elm 8. http://www.reddit.com/r/haskell/comments/261abs/elm_0123_efficient_3d_rendering_with_webgl/ 9. http://www.reddit.com/r/haskell/comments/24y6ls/an_example_of_a_real_world_haskell_application/ 10. http://www.reddit.com/r/haskell/comments/24y6ls/an_example_of_a_real_world_haskell_application/ 11. http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/ 12. http://www.reddit.com/r/haskell/comments/25ulsv/ezyang_try_a_b_considered_harmful/ 13. http://9m.no/ 14. http://www.reddit.com/r/haskell/comments/267evu/9m_url_shortener_written_in_haskell/ 15. http://notanumber.net/archives/178/jhc-haskell-0-8-1-released 16. http://www.reddit.com/r/haskell/comments/25o33n/announce_jhc_081_is_out/ 17. http://ghcformacosx.github.io/ 18. http://www.reddit.com/r/haskell/comments/26bx5n/haskell_for_mac_os_x_selfcontained_relocatable/ 19. http://code.haskell.org/~duncan/binary-experiment/binary.pdf 20. http://www.reddit.com/r/haskell/comments/25ch8v/binary_serialisation_better_stronger_faster_pdf/ 21. http://www.scs.stanford.edu/14sp-cs240h/slides/ 22. http://www.reddit.com/r/haskell/comments/25i99i/cs240h_lecture_notes/ 23. http://chrisdone.com/posts/haskell-mode-docs 24. http://www.reddit.com/r/haskell/comments/2583sm/haskellmode_documentation/ 25. http://status.haskell.org/ 26. http://www.reddit.com/r/haskell/comments/2653kp/psa_you_can_now_visit_statushaskellorg/ 27. http://www.serpentine.com/blog/2014/05/13/once-more-into-the-teach-dear-friends/ 28. http://www.reddit.com/r/haskell/comments/25iqk7/once_more_into_the_teach_dear_friends/ 29. http://www.reddit.com/r/haskell/comments/25sqvk/what_features_would_you_like_to_find_in_a_haskell/ 30. http://www.reddit.com/r/haskell/comments/25sqvk/what_features_would_you_like_to_find_in_a_haskell/ 31. http://youtu.be/6COvD8oynmI 32. http://www.reddit.com/r/haskell/comments/25vj62/adventure_with_types_in_haskell_simon_peyton/ 33. http://arstechnica.com/science/2014/05/scientific-computings-future-can-any-coding-language-top-a-1950s-behemoth/ 34. http://www.reddit.com/r/haskell/comments/250558/ars_technica_has_haskell_as_one_of_three/ 35. http://stackoverflow.com/questions/23746852/why-does-haskells-do-nothing-function-id-consume-tons-of-memory 36. http://stackoverflow.com/questions/23664197/are-ana-catamorphisms-just-slower 37. http://stackoverflow.com/questions/23462004/code-becomes-slower-as-more-boxed-arrays-are-allocated 38. http://stackoverflow.com/questions/23727768/which-part-of-real-world-haskell-is-now-obsolete-or-considered-bad-practise 39. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.grelck at uva.nl Fri May 30 16:41:20 2014 From: c.grelck at uva.nl (Clemens Grelck) Date: Fri, 30 May 2014 18:41:20 +0200 Subject: [Haskell] CfP Theories for Tool Support in Software/TTSS'14, September, Bertinoro Message-ID: <5388B4B0.5070103@uva.nl> **************************************************************************** TTSS 2014: Call For Papers The 7th Intl. Workshop on Harnessing Theories for Tool Support in Software Bertinoro, Italy, 9 September 2014 http://facs2014.cs.unibo.it/TTSS/ Co-located with FACS 2014: The 11th International Symposium on Formal Aspects of Component Software **************************************************************************** Important Dates =============== - Submission Deadline: July 25, 2014 - Notification of Acceptance: August 10, 2014 - Camera-ready version due: to be determined Overview and Topics of Interest ================================ The aim of the workshop is to bring together practitioners and researchers from academia, industry and government to present and discuss ideas about: - How to deal with the complexity of software projects by multi-view modeling and separation of concerns about the design of functionality, interaction, concurrency, scheduling, and non-functional requirements - How to ensure correctness and dependability of soft-ware by integrating formal methods and tools for modeling, design, verification and validation into design- and development processes and environments. - To explore some hot issues in supporting tool for service-oriented computing, specification generation, loop invariant generation, code generation, test-case generation. - Case studies and experience reports about harnessing static analysis tools such as model checking, theorem proving, testing, as well as runtime monitoring. The workshop will provide enough time for discussion on problems and research. Each presentation will be 25 minutes followed by 10 minutes discussion. Topics of interest include, but are not limited to, the following areas: - Models, calculi, and tool support for component-based and object-oriented software; - Mathematical frameworks, methods and tools for model-driven development; - Models, calculi, and tool support for integrating different scheduling, interaction and concurrency models in highly adaptable systems - Theory, methods and tools support for service construct, services composition, specification generation, loop invariant generation, code generation and test-case generation. Submission and Publication ========================== Submissions to the workshop must present original research that is unpublished and not submitted for publication elsewhere. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers must be written in English and not exceed 15 pages in the easychair format (seehttp://www.easychair.org/ publications/easychair.zip). The post-proceedings of the workshop will be published electronically in a repository indexed by DBLP (e.g. CEUR-WS, EPTCS,...); to be confirmed. Papers can be submitted via the following link: https://www.easychair.org/conferences/?conf=ttss14 Workshop Chairs =============== - Volker Stolz, University of Oslo, Norway - Michael Lienhardt, University of Bologna/INRIA, Italy Program Commitee ================ - Jun Pang, University of Luxembourg, Luxembourg - Cesar Sanchez, IMDEA Software Institute, Spain - Ralf Huuck, NICTA, Australia - Bernhard K. Aichernig, Graz University of Technology, Austria - Naijun Zhan, Chinese Academy of Sciences, China - Clemens Grelck, University of Amsterdam, the Netherlands - Charles Morisset, Newcastle University, UK - Wei Dong, NUDT, Changsha, China - Jinyun Xue,Jiangxi Normal University, Nanchang, China - Roberto Bruni, University of Pisa, Italy - Mario Bravetti, University of Bologna/INRIA, Italy - Prof. Dr. Erika A?braham, RWTH Aachen University, Germany - Jean-Bernard Stefani, INRIA, France -- ---------------------------------------------------------------------- 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 ----------------------------------------------------------------------