Daniel Santa Cruz | 24 Apr 04:18 2014

Haskell Weekly News: Issue 292

Welcome to issue 292 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers
from April 13 to 19, 2014

Edward Kemett wrote in to remind us of the Call For Proposals for CUFP
2014, which is going to be held in Gothenburg, Sweden between September
4-6. See more details here [1] http://goo.gl/X62cBO

Quotes of the Week

   * pdxleif: see s.p. jones & h.p. lovecraft's paper on the subject:
     "generic programming with lenses, barbed wire, and the fibres of

Top Reddit Stories

   * A time traveling debugger for Elm - pause, rewind, replay, 
     and change history
     Domain: debug.elm-lang.org, Score: 87, Comments: 6
     On Reddit: [2] http://goo.gl/GJahIU
     Original: [3] http://goo.gl/V2kcCP

   * OC: Haskell programming font with ligatures
     Domain: github.com, Score: 78, Comments: 59
     On Reddit: [4] http://goo.gl/ZaFRJ4
     Original: [5] http://goo.gl/m17EUj

   * Porting GHC: A Tale of Two Architectures
     Domain: chiark.greenend.org.uk, Score: 77, Comments: 12
     On Reddit: [6] http://goo.gl/MJ196R
     Original: [7] http://goo.gl/PVVHZo

   * Try Idris
     Domain: tryidris.org, Score: 70, Comments: 22
     On Reddit: [8] http://goo.gl/7hn84J
     Original: [9] http://goo.gl/6iPW8S

   * Why are examples completely absent from hackage? Am I missing something?
     Domain: self.haskell, Score: 67, Comments: 68
     On Reddit: [10] http://goo.gl/QmZjZs
     Original: [11] http://goo.gl/QmZjZs

   * Implementing Python in Haskell - Melbourne Haskell Users Group, April 24
     Domain: meetup.com, Score: 53, Comments: 6
     On Reddit: [12] http://goo.gl/tYRtG9
     Original: [13] http://goo.gl/oClHGb

   * Blog post - Haskell Gets Static Typing Right - Andres Löh
     Domain: skillsmatterblog.wordpress.com, Score: 51, Comments: 25
     On Reddit: [14] http://goo.gl/5AQO4h
     Original: [15] http://goo.gl/WddMUA

   * Haskell for all: Scalable program architectures
     Domain: haskellforall.com, Score: 45, Comments: 19
     On Reddit: [16] http://goo.gl/JDYSQl
     Original: [17] http://goo.gl/MUrRRg

   * GHC 7.8′s -staticlib flag makes compiling Mac libs easy
     Domain: maxs.io, Score: 42, Comments: 5
     On Reddit: [18] http://goo.gl/SVICOm
     Original: [19] http://goo.gl/FwVdOv

   * Autocomplete command line options with GHC 7.8
     Domain: self.haskell, Score: 39, Comments: 10
     On Reddit: [20] http://goo.gl/bXNI20
     Original: [21] http://goo.gl/bXNI20

   * How to learn Haskell
     Domain: acm3.wustl.edu, Score: 39, Comments: 16
     On Reddit: [22] http://goo.gl/oaQsAL
     Original: [23] http://goo.gl/TLbCEL

   * Calling Python from Haskell
     Domain: lunaryorn.com, Score: 36, Comments: 14
     On Reddit: [24] http://goo.gl/9n8O4m
     Original: [25] http://goo.gl/j8YqgK

   * "latest API" link in Hackage
     Domain: self.haskell, Score: 30, Comments: 15
     On Reddit: [26] http://goo.gl/RJnphF
     Original: [27] http://goo.gl/RJnphF

   * Functional Pearl: F for Functor
     Domain: cs.ox.ac.uk, Score: 27, Comments: 14
     On Reddit: [28] http://goo.gl/i7TPuf
     Original: [29] http://goo.gl/7c33Xn

Top StackOverflow Questions

   * Idris eager evaluation
     votes: 14, answers: 1
     Read on SO: [30] http://goo.gl/LDpNtI

   * Why use such a peculiar function type in monads?
     votes: 11, answers: 4
     Read on SO: [31] http://goo.gl/XX8KSX

   * How does mapA work with a Stream Function Arrow in Haskell?
     votes: 8, answers: 1
     Read on SO: [32] http://goo.gl/vECKBa

   * Lenses and Monomorphism Restriction
     votes: 8, answers: 2
     Read on SO: [33] http://goo.gl/hG44KA

   * Is this a GHC bug?
     votes: 7, answers: 1
     Read on SO: [34] http://goo.gl/sqByI2

   * Why do some of threepenny-gui FRP combinators operate on a 
     MonadIO monad instead of being pure?
     votes: 6, answers: 2
     Read on SO: [35] http://goo.gl/ySVqya

   * S combinator in Haskell
     votes: 6, answers: 2
     Read on SO: [36] http://goo.gl/vnb64N

   * Graphing criterion benchmarks taking different orders of magnitude of time
     votes: 6, answers: 1
     Read on SO: [37] http://goo.gl/J3jgWf

   * Fun with fixity
     votes: 6, answers: 1
     Read on SO: [38] http://goo.gl/molyi9

Until next time,
[39]+Daniel Santa Cruz


Haskell mailing list
Haskell <at> haskell.org
Edward Kmett | 21 Apr 22:56 2014

[Haskell.org GSoC] Accepted Proposals

I'm pleased to announce the list of accepted student proposals for haskell.org for the Google Summer of Code 2014. 

Title Student Mentor
Adding profiling support to GHCJS -- JavaScript backend for GHC Ömer Sinan Aǧacan Luite Stegeman
Concurrent Lock-Free Hash Map for Haskell Mathias Bartl Ryan Newton
Darcs: Hashed Files and Cache Marcio Díaz Eric Kow
HDBC Improvements Edisach Nicolas Wu
Darcs: History reordering: performance and features Ale Gadea Guillaume Hoffmann
Implement Constraint-Based Layout in Diagrams Allan Gardner Daniel Bergey
Lensify Diagrams Niklas Haas Brent Yorgey
An Efficient Computational Algebra and Symbolic Linear Algebra Library in Haskell Hiromi ISHII Edward Kmett
Complete plugins-ng "low-level", "filewatch", and "cabal" packages Kẏra Greg Weber
Build Interactive Websites with GHCJS and Sodium Kyle Raftogianis Luite Stegeman
Pandoc improvements: Embedded base64 images and EPUB 3.0 reader Matthew Pickering John MacFarlane
Agda-like Interaction Mode for Emacs Alejandro Serrano David Raymond Christiansen
Debugging tool for GHCJS Nathan van Doorn Luite Stegeman
Flesh out features of Hackage 2 Chris Wong Duncan Coutts

You can explore the abstracts of the accepted proposals at 

I would like to take a moment to offer congratulations to all of the students we were able to accept into the program this year.

That said, I would also like to offer my condolences to those students whom we were not able to bring into the program. We received 14 slots in total this year - more than we ever received in past years - yet still not nearly enough to accept all of the excellent proposals we received this time around. Please consider applying again next year.

I am looking forward to working with you on another Summer of Code, and I hope we can all make an effort as a community to be welcoming and to help you in your projects.

If you have any questions or concerns about the process, please feel free to email me or chase me down on #haskell-gsoc on irc.freenode.net.

-Edward Kmett
Haskell mailing list
Haskell <at> haskell.org
Edward Kmett | 20 Apr 20:37 2014

CUFP 2014: Call for Presentations

Commercial Users of Functional Programming 2014: Call for Presentations

     CUFP 2014
                           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

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

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 

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

Nevertheless, presentations will be video taped and
presenters will be expected to sign an ACM copyright release

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.
Haskell mailing list
Haskell <at> haskell.org
Bas van Dijk | 17 Apr 14:23 2014

ZuriHac 2014 - Updates

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:


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:

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.


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


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:


The ZuriHac 2014 organizers
Yuan-Fang Li | 17 Apr 01:37 2014

Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)

*** 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)

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 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

Submission deadline: May 2, 2014
Notification: June 25, 2014

Best regards

Haskell mailing list
Haskell <at> haskell.org
Jeremy Gibbons | 16 Apr 13:13 2014

UTP-2014 call for participation


                  --- Call For Participation ---

  5th International Symposium on Unifying Theories of Programming

                    Singapore, 13th May, 2014
                   In association with FM 2014


Invited talk: 

  Ian Hayes, University of Queensland 
  Separating concerns of rely and guarantee in concurrent program derivation

Contributed papers: 


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: 

Jeremy.Gibbons <at> cs.ox.ac.uk
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283521

Haskell mailing list
Haskell <at> haskell.org

ANN: GHC-7.8.2-Eden - Parallel Haskell on multicore and cluster systems

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 ( a library defining the Eden language
* The Eden skeleton library ( 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
* extended Haskell serialisation support (see
* 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.


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

The compiler release includes binary packages for Linux, Windows and Mac
OS, and a source distribution, available from
(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.
John David Reaver | 15 Apr 21:29 2014

[ANN] quantities 0.3.0

Hello! I am happy to publicly announce the quantities package:

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

>>> 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.

John David Reaver
Haskell mailing list
Haskell <at> haskell.org
Wouter Swierstra | 15 Apr 16:01 2014

Haskell Symposium: Second call for papers

                ACM SIGPLAN
                HASKELL SYMPOSIUM 2014

    Gothenburg, Sweden, 4-5 September 2014, directly after ICFP
    haskell2014 <at> 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

* 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

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


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:


* 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
Haskell mailing list
Haskell <at> haskell.org
Amal Ahmed | 15 Apr 10:56 2014

Oregon PL Summer School: register by May 2nd

*** 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

Haskell mailing list
Haskell <at> haskell.org
Henrik Nilsson | 14 Apr 18:38 2014

CFP: FARM 2014: Functional Art, Music, Modelling and Design

Dear all,

This is the second FARM 2014 call for papres. Sorry for any duplicate

If you are using Haskell or any mostly functional language in any
kind of musical, artistic, or design endeavour, please consider
contributing to FARM 2014, the 2nd ACM SIGPLAN International Workshop
of Functional Art, Music, Modelling and Design, co-located with ICFP

Call-for-papers enclosed.

Best regards,



			 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

   * 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


     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


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:



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 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:


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.