April 2014 - Haskell - Haskell.org

CUFP 2014: Call for Presentations
by Edward Kmett 20 Apr '14

20 Apr '14

Commercial Users of Functional Programming 2014: Call for Presentations COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2014 CUFP 2014 http://cufp.org/conference CALL FOR PRESENTATIONS Gothenburg, Sweden Sep 4-6 Co-located with ICFP 2014 Sponsored by SIGPLAN Talk Proposal Submission Deadline 27 June 2014 Submission Form: http://goo.gl/5BJLul The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. Giving a CUFP Talk ================== If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the workshop. We're looking for two kinds of talks: Experience reports are typically 25 minutes long, and aim to inform participants about how functional programming plays out in real-world applications, focusing especially on lessons learned and insights gained. Experience reports don't need to be highly technical; reflections on the commercial, management, or software engineering aspects are, if anything, more important. Technical talks are also 25 minutes long, and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. We strongly encourage submissions from people in communities that are underrepresented in functional programming, including but not limited to women; people of color; people in gender, sexual and romantic minorities; people with disabilities; people residing in Asia, Africa, or Latin America; and people who have never presented at a conference before. We recognize that inclusion is an important part of our mission to promote functional programming. So that CUFP can be a safe environment in which participants openly exchange ideas, we abide by the SIGPLAN Conference Anti-Harassment Policy ( http://www.sigplan.org/Resources/Policies/Anti-harassment ). If you are interested in offering a talk, or nominating someone to do so, please submit your presentation before 27 June 2014 via the form at http://goo.gl/5BJLul You do not need to submit a paper, just a short proposal for your talk! There will be a short scribe's report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more a discussion forum than a technical interchange. Nevertheless, presentations will be video taped and presenters will be expected to sign an ACM copyright release form. Note that we will need all presenters to register for the CUFP workshop and travel to Gothenburg at their own expense. Program Committee ================= Edward Kmett (McGraw Hill Financial), co-chair Marius Eriksen (Twitter, Inc.), co-chair Ozgun Ataman (Soostone, Inc.) Tim Chevalier (AlephCloud) Derek Elkins (Now Business Intelligence) Matthew Might (University of Utah) Richard Minerich (Bayard Rock) Audrey Tang (Apple, Inc.) Jason Zaugg (Typesafe) More information ================ For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Acceptance and rejection letters will be sent out by July 16th. Guidance on giving a great CUFP talk ==================================== Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well established in some areas, including formal verification, financial processing and server-side web-services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large software development in the absence of a myriad of pre-existing support that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also spend time on what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly.

1 0

ZuriHac 2014 - Updates
by Bas van Dijk 17 Apr '14

17 Apr '14

Dear (potential) ZuriHac 2014 attendees, I would like to make a few announcements regarding ZuriHac 2014, a Haskell hackathon taking place in Zurich from Friday 6 June 2014 to Sunday 8 June 2014. Besides hacking on Haskell projects with core members of the community you will hear talks by Simon Marlow and Edward Kmett. Note that this event is open to any experience level, from beginners to gurus. In fact, one of the goals is to bring beginners in contact with experts so that the former can get a quick start in the Haskell community and the latter more help with their projects. For more information see: http://www.haskell.org/haskellwiki/ZuriHac2014 Registration ------------ I'm happy and sad to inform you that we've almost reached capacity for ZuriHac 2014. Happy because it looks like this might be the biggest Haskell Hackathon ever. Sad because I soon have to start adding new registrations to a waiting list. So if you want to join us, and haven't registered already, then please do so soon at: http://bit.ly/ZuriHac2014. Also if you've already registered but know you won't be able to make it, please cancel by emailing me to make room for others. T-Shirt ------- Like last year, each attendee will get a free ZuriHac T-shirt. If you've already registered, please tell me which sizes and model you would like to have: Male: S, M, L, XL, XXL Female: S, M, L, XL, XXL Host ---- Erudify, the company which is hosting ZuriHac, recently changed its name to Better. Do note that we haven't changed location. See our new website on why we have rebranded: http://better.com/en/rebranding Regards, The ZuriHac 2014 organizers

1 0

LOPSTR 2014: Second Call for Papers
by German Vidal 17 Apr '14

17 Apr '14

[Apologies for multiple copies] ================== SECOND CALL FOR PAPERS ================== 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 10-11, 2014 DEADLINES Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held at the University of Kent, Canterbury, United Kingdom; previous symposia were held in Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. 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 co-chairs in case of questions). Important Dates Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 Notification: July 18, 2014 Camera-ready (for electronic pre-proceedings): August 25, 2014 Symposium: September 10-11, 2014 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Paper should be submitted via the Easychair submission website for LOPSTR 2014. If electronic submission is impossible, please contact the program co-chairs for information on how to submit hard copies. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher German University of Cairo, Egypt Étienne André Université Paris 13, France Martin Brain University of Oxford, UK Wei-Ngan Chin National University of Singapore, Singapore Marco Comini University of Udine, Italy Wlodzimierz Drabent IPIPAN, Poland and Linköping University, Sweden Fabio Fioravanti University of Chieti-Pescara, Italy Jürgen Giesl RWTH Aachen University, Germany Miguel Gómez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Yanhong Annie Liu Stony Brook University, USA Jorge Navas NASA, USA Naoki Nishida Nagoya University, Japan Corneliu Popeea Technische Universität München, Germany Maurizio Proietti IASI-CNR, Italy (Program Co-Chair) Tom Schrijvers Ghent University, Belgium Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair) Jon Sneyers K.U. Leuven, Belgium Fausto Spoto University of Verona, Italy Wim Vanhoof University of Namur, Belgium German Vidal Universitat Politecnica de Valencia, Spain Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti(a)iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki(a)nitech.ac.jp) Symposium Co-Chairs Olaf Chitil and Andy King School of Computing University of Kent CT2 7NF Kent, UK Organizing Committee Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy ============================================================

1 0

Haskell Weekly News: Issue 291
by Daniel Santa Cruz 17 Apr '14

17 Apr '14

Welcome to issue 291 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from April 6 to 12, 2014 Quotes of the Week * geekosaur: IO, IO, it's off to (>>=) I go * edwardk: waiting for sclv to start going around door to door passing out little copies of the homotopy type theory book, and asking people if they have yet had the geometric realization that the simplicial sets are homotopically equivalent to their Lord and Savior. * carter: i'll leave you in the gentle hands of the rest of the channel Top Reddit Stories * GHC 7.8.1 Released Domain: haskell.org, Score: 226, Comments: 106 On Reddit: [1] http://goo.gl/pz4nE Original: [2] http://goo.gl/SjQ3Qv * What To Expect When You're a Platform Library Maintainer Domain: permalink.gmane.org, Score: 56, Comments: 4 On Reddit: [3] http://goo.gl/bD6VVf Original: [4] http://goo.gl/WDvy53 * Why are we relying on numeric identifiers for dependencies when we have so much richer information available? Domain: self.haskell, Score: 44, Comments: 18 On Reddit: [5] http://goo.gl/Z3gBEq Original: [6] http://goo.gl/Z3gBEq * How To Read "Pearls of Functional Algorithm Design" Domain: atamo.com, Score: 41, Comments: 8 On Reddit: [7] http://goo.gl/j4mXVz Original: [8] http://goo.gl/q41KEF * BayHac '14 Sign-Up and List of Classes Domain: self.haskell, Score: 40, Comments: 11 On Reddit: [9] http://goo.gl/xterjO Original: [10] http://goo.gl/xterjO * Is GHC the defacto standard? Domain: self.haskell, Score: 40, Comments: 39 On Reddit: [11] http://goo.gl/eiVjGM Original: [12] http://goo.gl/eiVjGM * Battleships web game written in Haskell/Yesod Domain: www-pg.iai.uni-bonn.de, Score: 34, Comments: 15 On Reddit: [13] http://goo.gl/hl2NC2 Original: [14] http://goo.gl/Wt5jqi * Heartbleed aftermath: should Haskell web frameworks allow using a pure Haskell SSL library instead of OpenSSL? Domain: self.haskell, Score: 32, Comments: 54 On Reddit: [15] http://goo.gl/ycHKNZ Original: [16] http://goo.gl/ycHKNZ * BudHac 2014 Domain: haskell.org, Score: 28, Comments: 3 On Reddit: [17] http://goo.gl/iObjrD Original: [18] http://goo.gl/KRJL2x * Hacking Haskell in nightclubs - video feature on Algorave Domain: motherboard.vice.com, Score: 27, Comments: 2 On Reddit: [19] http://goo.gl/LLG6qR Original: [20] http://goo.gl/PlzTTa * A brief introduction to ConstraintKinds extension (Wolfgang Jeltsch) Domain: jeltsch.wordpress.com, Score: 27, Comments: 4 On Reddit: [21] http://goo.gl/RadGh7 Original: [22] http://goo.gl/CZIfU8 * Generating Mazes with Inductive Graphs Domain: jelv.is, Score: 26, Comments: 11 On Reddit: [23] http://goo.gl/fufmgp Original: [24] http://goo.gl/FxAeGV Top StackOverflow Questions * Why MonadPlus and not Monad + Monoid? votes: 18, answers: 2 Read on SO: [25] http://goo.gl/J02Msv * Can a pure function have free variables? votes: 11, answers: 3 Read on SO: [26] http://goo.gl/iyJsn9 * FRP - Event streams and Signals - what is lost in using just signals? votes: 10, answers: 4 Read on SO: [27] http://goo.gl/cXwKKf * Is there a way to make GHC provide the type class constraints of typed holes? votes: 9, answers: 0 Read on SO: [28] http://goo.gl/LYxEvm * Where are the magic rules for GHC assert? votes: 8, answers: 1 Read on SO: [29] http://goo.gl/JL8OLZ * Using Haskell ranges: Why would mapping a floating point function across a range cause it to return an extra element? votes: 7, answers: 1 Read on SO: [30] http://goo.gl/mtBCBa * Why Haskell's Data.List.deleteBy takes in input a comparison function (a -> a -> Bool) and a value instead of a predicate (a -> Bool)? votes: 6, answers: 1 Read on SO: [31] http://goo.gl/Wd9evy Until next time, [32]+Daniel Santa Cruz References 1. http://www.haskell.org/pipermail/haskell/2014-April/024137.html 2. http://www.reddit.com/r/haskell/comments/22lw1b/ghc_781_released/ 3. http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/21681 4. http://www.reddit.com/r/haskell/comments/22oott/what_to_expect_when_youre_a… 5. http://www.reddit.com/r/haskell/comments/22o4i1/why_are_we_relying_on_numer… 6. http://www.reddit.com/r/haskell/comments/22o4i1/why_are_we_relying_on_numer… 7. http://www.atamo.com/blog/how-to-read-pearls-by-richard-bird-1/ 8. http://www.reddit.com/r/haskell/comments/22kavg/how_to_read_pearls_of_funct… 9. http://www.reddit.com/r/haskell/comments/22d1wu/bayhac_14_signup_and_list_o… 10. http://www.reddit.com/r/haskell/comments/22d1wu/bayhac_14_signup_and_list_o… 11. http://www.reddit.com/r/haskell/comments/22r569/is_ghc_the_defacto_standard/ 12. http://www.reddit.com/r/haskell/comments/22r569/is_ghc_the_defacto_standard/ 13. http://www-pg.iai.uni-bonn.de/battleships 14. http://www.reddit.com/r/haskell/comments/22f683/battleships_web_game_writte… 15. http://www.reddit.com/r/haskell/comments/22udou/heartbleed_aftermath_should… 16. http://www.reddit.com/r/haskell/comments/22udou/heartbleed_aftermath_should… 17. http://www.haskell.org/haskellwiki/BudapestHackathon2014 18. http://www.reddit.com/r/haskell/comments/22euqt/budhac_2014/ 19. http://motherboard.vice.com/nl/read/algorave-coden-in-de-club 20. http://www.reddit.com/r/haskell/comments/22ou9y/hacking_haskell_in_nightclu… 21. http://jeltsch.wordpress.com/2013/02/14/the-constraint-kind/ 22. http://www.reddit.com/r/haskell/comments/22tfgl/a_brief_introduction_to_con… 23. http://jelv.is/blog/Generating-Mazes-with-Inductive-Graphs 24. http://www.reddit.com/r/haskell/comments/22ngz0/generating_mazes_with_induc… 25. http://stackoverflow.com/questions/23023961/why-monadplus-and-not-monad-mon… 26. http://stackoverflow.com/questions/22914878/can-a-pure-function-have-free-v… 27. http://stackoverflow.com/questions/22989253/frp-event-streams-and-signals-w… 28. http://stackoverflow.com/questions/23028124/is-there-a-way-to-make-ghc-prov… 29. http://stackoverflow.com/questions/22996814/where-are-the-magic-rules-for-g… 30. http://stackoverflow.com/questions/22901633/using-haskell-ranges-why-would-… 31. http://stackoverflow.com/questions/23000665/why-haskells-data-list-deleteby… 32. https://plus.google.com/105107667630152149014/about

1 0

Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
by Yuan-Fang Li 16 Apr '14

16 Apr '14

*** Apologies for cross-posting *** *** Please not the URL of the conference Web site: http://prdc.dependability.org/PRDC2014/ *** *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/) 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 <http://www.ieee.org/conferences_events/conferences/publishing/templates.html>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 <https://www.easychair.org/conferences/?conf=prdc2014>. 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 Submission deadline: May 2, 2014 Notification: June 25, 2014 Best regards Yuan-Fang

1 0

UTP-2014 call for participation
by Jeremy Gibbons 16 Apr '14

16 Apr '14

********************************************************************* --- Call For Participation --- 5th International Symposium on Unifying Theories of Programming Singapore, 13th May, 2014 In association with FM 2014 http://www.comp.nus.edu.sg/~pat/UTP2014/index.html ********************************************************************** Invited talk: Ian Hayes, University of Queensland Separating concerns of rely and guarantee in concurrent program derivation Contributed papers: http://www.comp.nus.edu.sg/~pat/UTP2014/accepted_papers.html Registration: http://www.comp.nus.edu.sg/~pat/FM2014/registration.html About the Symposium: Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way. Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities. Tutorial on UTP, May 12: http://www.comp.nus.edu.sg/~pat/FM2014/tutorial.html Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/

1 0

ANN: GHC-7.8.2-Eden - Parallel Haskell on multicore and cluster systems
by Eden group Marburg - Functional parallel Programming 16 Apr '14

16 Apr '14

We are happy to announce a new release of Eden, a parallel extension of Haskell. The release comprises: * The GHC-7.8.2-Eden compiler: GHC-7.8.2 extended with the Eden parallel runtime system. * The Eden modules (1.2.0.0): a library defining the Eden language constructs. * The Eden skeleton library (2.0.0.1): a comprehensive library with common task and data parallel patterns. * The Eden trace viewer EdenTV (4.4.0): a visualisation and analysis tool for eventlogs of parallel program runs. All resources are available via: http://www.mathematik.uni-marburg.de/~eden, libraries are also available from Hackage. New in this release: * all new features included in ghc-7.8 (release notes at http://www.haskell.org/ghc/docs/7.8.2/html/users_guide/release-7-8-1.html and http://www.haskell.org/ghc/docs/7.8.2/html/users_guide/release-7-8-2.html) * extended Haskell serialisation support (see http://www.haskell.org/wikiupload/2/28/HIW2013PackingAPI.pdf) * script-less program execution and eventlog handling when using shared memory ways; * major module structure overhaul in edenskel; * bugfixes and Trans instances for more common data types in Eden modules. Background: Eden extends Haskell with a small set of syntactic constructs for explicit process specification and creation. While providing enough control to implement parallel algorithms efficiently, it frees the programmer from the tedious task of managing low-level details by introducing automatic process handling, synchronisation and communication (via head-strict lazy lists). Eden is tailored for distributed systems but works equally well on multicore architectures. Processes work within disjoint address spaces and do not share any data. This simplifies Eden's implementation as there is no need for global garbage collection. The implementation for multicores uses communicating OS processes (via Posix SharedMem or mail slots), cluster implementations use either MPI or PVM. A tutorial is available from http://www.mathematik.uni-marburg.de/~eden/paper/edenCEFP.pdf The compiler release includes binary packages for Linux, Windows and Mac OS, and a source distribution, available from http://www.mathematik.uni-marburg.de/~eden/?content=down_eden&navi=down (binary packages only support the multicore implementations). Eden libraries and tools are available separately from hackage: - Eden modules: http://hackage.haskell.org/package/edenmodules (already included in the Eden compiler) - Eden skeleton library: http://hackage.haskell.org/package/edenskel - EdenTV: http://hackage.haskell.org/package/edentv (uses gtk2hs) When built using a standard GHC, the packages will produce a threaded simulation of Eden.

1 0

[ANN] quantities 0.3.0
by John David Reaver 15 Apr '14

15 Apr '14

Hello! I am happy to publicly announce the quantities package: Hackage: http://hackage.haskell.org/package/quantities Github: https://github.com/jdreaver/quantities I feel this package is complete enough as of version 0.3.0 (released today) to announce it to the public. >From the description on Hackage: A library for creating and manipulating physical quantities, which are a numerical value associated with a unit of measurement. Included is an expression parser and a huge list of predefined quantities with which to parse strings into a Quantity datatype. Once created, a quantity can be converted to different units or queried for its dimensionality. A user can also operate on quantities arithmetically, and doing so uses automatic unit conversion and simplification. Just to get a taste of how this package works, here are some examples: >>> fromString "25 m/s" Right 25.0 meter / second >>> fromString "fakeunit" Left (UndefinedUnitError "fakeunit") >>> fromString "ft + 12in" Right 2.0 foot >>> fromString "min => s" Right 60.0 second >>> fromString "2 ft + 6 in => ft" Right 2.5 foot >>> fromString "5 m => s" Left (DimensionalityError [length] [time]) >>> convertBase <$> fromString "N * m" Right 1000.0 gram meter ** 2 / second ** 2 >>> dimensionality <$> fromString "N * m" Right [length] ** 2 [mass] / [time] ** 2 Finally, this is my first Haskell library. I am open to *any* suggestions/criticism, especially in regards to code style, the API, the cabal file structure, etc. Thanks, John David Reaver

1 0

Haskell Symposium: Second call for papers
by Wouter Swierstra 15 Apr '14

15 Apr '14

=================================================================== ACM SIGPLAN HASKELL SYMPOSIUM 2014 SECOND CALL FOR SUBMISSIONS Gothenburg, Sweden, 4-5 September 2014, directly after ICFP http://www.haskell.org/haskell-symposium/2014 haskell2014(a)easychair.org =================================================================== The ACM SIGPLAN Haskell Symposium 2014 will be colocated with the 2014 International Conference on Functional Programming (ICFP) in Gothenburg, Sweden. Like last year, the symposium will last 2 days. Thanks to broader participation from a growing community, we will be able to include more regular papers as well as system demonstrations, while upholding the scientific quality of the symposium. The Haskell Symposium seeks to present original research on Haskell, to discuss practical experience and future development of the language, as well as to promote other forms of denotative programming. Topics of interest include * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Such reports are shorter than regular papers; they are limited to six pages. Papers in the latter two categories need not necessarily report original research results. They may report instead, for example, reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program! Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). In addition, we solicit proposals for * System Demonstrations (no longer than a regular paper talk), based on running (perhaps prototype) software rather than necessarily on novel research results. These proposals should summarize the system capabilities that would be demonstrated. The proposals should explain (and will be judged on) whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical or social. Please contact the program chair with any questions about the relevance of a proposal. 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) Proceedings: ============ ACM Press will publish formal proceedings. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html) but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Accepted proposals for system demonstrations will be posted on the symposium web page, but not formally published in the proceedings. Submission Details: =================== Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm) The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Proposals for system demonstrations are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Submission is via EasyChair: https://www.easychair.org/conferences/?conf=haskell14 * Abstract submission: Fri 09 May 2014 * Paper submission : Mon 12 May 2014 * Demo submission : Fri 30 May 2014 (prior abstract submission unnecessary) * Author notification: Wed 11 June 2014 * Final papers due : Sun 22 June 2014 All deadlines, except the final papers deadline, are in Standard Samoan Time. Programme Committee: ==================== George Giorgidze - Standard Chartered Bank Mauro Jaskelioff - Universidad Nacional de Rosario Mark Jones - Portland State University Lindsey Kuper - Indiana University José Pedro Magalhães - University of Oxford Geoffrey Mainland - Drexel University Simon Marlow - Facebook Shin Cheng Mu - Academia Sinica Keiko Nakata - Institute of Cybernetics, Tallinn University of Technology Bruno Oliveira - University of Hong Kong Lee Pike - Galois Josef Svenningsson - Chalmers University of Technology Wouter Swierstra - University of Utrecht (chair) Simon Thompson - University of Kent

1 0

Oregon PL Summer School: register by May 2nd
by Amal Ahmed 15 Apr '14

15 Apr '14

*** The registration deadline for this year's Oregon PL Summer School has been extended to May 2nd. This year's Oregon Programming Languages Summer School will take place from June 16th to 28th, 2014. Full information on registration and scholarships an be found here: http://www.cs.uoregon.edu/Activities/summerschool The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. This year we will again offer a Coq boot camp session, to be held on June 15th -- one day before the summer school officially begins. The boot camp will provide a one-day, intensive, hands-on introduction to the practical mechanics of the Coq proof assistant. The Coq boot camp will be run by Michael Clarkson (George Washington University). More information is available at the above website. This year's program is titled Types, Logic, Semantics, and Verification. The speakers and topics include: Andrew Appel -- Software Verification Princeton University Lars Birkedal -- Category Theory Aarhus University Michael Clarkson -- Coq Bootcamp George Washington University Derek Dreyer -- Modular Reasoning about Stateful Programs Max Planck Institute for Software Systems Robert Harper -- Type Theory Foundations Carnegie Mellon University Greg Morrisett -- Certified Programming and State Harvard University Ulf Norell -- Programming in Agda Chalmers University of Technology Brigitte Pientka -- Proof Theory Foundations McGill University Stephanie Weirich -- Designing Dependently-Typed Programming Languages University of Pennsylvania Steve Zdancewic -- Software Foundations in Coq University of Pennsylvania We hope you can join us for this excellent program! Amal Ahmed Zena Ariola Greg Morrisett OPLSS 2014 organizers

1 0