Temur Kutsia | 1 Sep 15:27 2014
Picon

SCSS 2014: Call for short and work-in-progress papers

[Please post - apologies for multiple copies.]

CALL FOR SHORT AND WORK-IN-PROGRESS PAPERS
================================================
SCSS 2014
Symbolic Computation in Software Science
6th International Symposium

Gammarth, La Marsa, Tunisia, December 7-11, 2014
http://www.easychair.org/smart-program/SCSS2014/
================================================

Scope
--------
The purpose of SCSS 2014 is to promote research on theoretical and practical
aspects of symbolic computation in software science. The symposium provides
a forum for active dialog between researchers from several fields of 
computer
algebra, algebraic geometry, algorithmic combinatorics, computational logic,
and software analysis and verification. The topics of the symposium include,
but are not limited to the following:

- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
(Continue reading)

Mateusz Kowalczyk | 31 Aug 15:50 2014
Picon

[ANN] haddock-2.15-0, haddock-api-2.15-0, haddock-library-1.1.1

Hello,

I'd like to announce the release of Haddock 2.15.0. Before we dive in,
I'd like to announce that Haddock development has moved out of the GHC
tree and is now done against the latest compiler release. If in the past
you wanted to contribute but were intimidated by having to make sure it
works against GHC HEAD then here's your chance. Additionally, it now
should also work with GHC 7.8.2 so if for whatever reason you're forced
to use that, you can now get the latest Haddock features.

If you want to contribute then please let us know, we're understaffed!
Come chat at #haddock or send us an e-mail.

If you have been using 2.14.x, you should be good to simply ‘cabal
install haddock’.

Now the changes:

This is an API-breaking bugfix release so any tickets originally
scheduled for 2.15.0 were pushed towards 2.16. Perhaps the biggest
change is that ‘cabal install haddock’ will now only give you the
Haddock binary. To use Haddock API, please depend on ‘haddock-api’ from
now on. I have sent out an e-mail about this couple of weeks in advance
to any reverse dependencies of ‘haddock’. This is to workaround cabal's
inability to pass flags to dependencies from the cabal file.

‘haddock-library’ only got a minor bump, 1.1.0 → 1.1.1 improving its
output. The Monoid instance for DocH is gone however as it was
ill-formed to begin with.

(Continue reading)

Andreas Abel | 30 Aug 00:56 2014
Picon

ANN: Agda 2.4.2

Agda 2.4.2 has been released!  It comes with an experimental 
implementation of "type" classes (see "instance search" below).

Download with cabal install Agda-2.4.2 (might need cabal update first) 
or go to
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download.

Highlights:

- Recursive instance search.

   Instance arguments are much faster than before and now work
   like a proper class system.

- Major improvements to reflection

   - Quoting and unquoting of declarations and pattern matching lambdas.

   - New syntax to simplify using reflection:
       tactic f
     is sugar for
       quoteGoal g in unquote (f g)

More details here: 
https://github.com/agda/agda/blob/2.4.2/doc/release-notes/2-4-2.txt

--

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
(Continue reading)

Dominic Duggan | 29 Aug 22:27 2014

Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy

Stevens Institute of Technology Department of Computer Science has an open position for a Postdoctoral Researcher in the fields of domain-specific languages, security and privacy, and mobile technologies for health information systems in Low and Middle Income Countries (LMIC).

The MEDDC project (Mobile eHealthcare Delivery for Developing Countries) is a NIH and NSF-funded project that is developing and deploying tools for data collection and healthcare management in LMIC.  It is affiliated with Central Africa IEDEA (International Epidemiological Databases to Evaluate AIDS), one of several NIH-funded projects that are engaged in data collection and analysis as part of the fight against the HIV/AIDS pandemic.

The project has developed tools for producing data collection systems from declarative specifications. Some of the work to be done will involve adapting ideas from statistical and functional programming languages, to pursue a domain-specific language approach to developing local capacity for data analysis.   

This effort has a significant software development component.  Although the IEDEA project employs full-time software developers to support data collection, this research work also includes software deliverables, as described.  The development language is Java, but the applicant will preferably also have experience with, and enthusiasm for, functional programming languages such as Haskell and some of its domain-specific derivatives.  Research opportunities include the adaptation of concepts from functional programming languages to build local capacity for medical and epidemiological analysis in LMIC,  as well as the investigation of security and privacy issues in the collection and analysis of patient health information.

For further information, please contact Professor Dominic Duggan (dduggan <at> stevens.edudd <at> dominicduggan.org).  Applications for the position should be submitted via this Web site:

https://www2.apply2jobs.com/Stevens/ProfExt/index.cfm?fuseaction=mExternal.showJob&RID=10446&CurrentPage=1


Applicants for the position should also forward a copy of their application to Prof. Duggan, at the emails above.

Job requirements:

- PhD (or equivalent degree) in topics related to domain-specific languages, security and privacy, and mobile technologies.
- Excellent Java programming skills.
- Preferably a strong functional programming background.
- Commitment to doing high-quality research.
- Oral and written proficiency in English.

--
Dominic Duggan
Associate Professor, Computer Science
Stevens Institute of Technology
Hoboken, NJ 07030.
Telephone: (201) 216-8042
Email: dduggan <at> stevens.edu
Web: http://www.dominicduggan.org
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Stefan Wehr | 29 Aug 09:33 2014
Picon

[ANN] HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014

Hi everyone,

this is just a quick reminder: The Haskell Hackathon in Berlin is
coming soon and there are still some places left. Please register now:
http://goo.gl/aLfnWu

The first keynote is also fixed; it will be given by Andres Löh
(http://www.andres-loeh.de/). Thanks, Andres!

Where: Berlin, Germany
When:  Fri 26 - Sun 28 September 2014

Meet in Berlin, discuss, hack together and improve the Haskell
infrastructure. We welcome all programmers interested in Haskell,
beginners and experts!

For all details, visit our wiki page
(http://www.haskell.org/haskellwiki/HacBerlin2014) and make sure to
register now!

Cheers,
Stefan
Daniel Santa Cruz | 28 Aug 07:40 2014
Picon

Haskell Weekly News: Issue 303

Welcome to issue 303 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers
from August 17 to 23, 2014

Quotes of the Week

   * monochrom: "point free" can be decomposed to: "point" refers to
                ".", "free" refers to using no "$". :)

Top Reddit Stories

   * λ Bubble Pop!
     Domain: chrisuehlinger.com, Score: 97, Comments: 41
     Original: [1] http://goo.gl/hVQq2F
     On Reddit: [2] http://goo.gl/OQWXK2

   * The fundamental problem of programming language package management
     Domain: blog.ezyang.com, Score: 82, Comments: 54
     Original: [3] http://goo.gl/fWmA0P
     On Reddit: [4] http://goo.gl/PfJbY0

   * How Programming language subreddits talk (including Haskell)
     Domain: github.com, Score: 72, Comments: 31
     Original: [5] http://goo.gl/2Ef0tB
     On Reddit: [6] http://goo.gl/KpTH74

   * A fast, generic and type-safe image processing library written in Haskell
     Domain: hackage.haskell.org, Score: 59, Comments: 27
     Original: [7] http://goo.gl/Pmeot3
     On Reddit: [8] http://goo.gl/Veffgp

   * GHC company-mode
     Domain: github.com, Score: 58, Comments: 7
     Original: [9] http://goo.gl/UVDEhl
     On Reddit: [10] http://goo.gl/uuxRCd

   * Hase - bringing state-of-the-art NLP to Haskell
     Domain: github.com, Score: 55, Comments: 8
     Original: [11] http://goo.gl/l39RVB
     On Reddit: [12] http://goo.gl/A8FI9k

   * Lens 4.4 release notes
     Domain: self.haskell, Score: 54, Comments: 18
     Original: [13] http://goo.gl/WjndWF
     On Reddit: [14] http://goo.gl/WjndWF

   * Jobs: Haskell developer roles at Standard Chartered
     Domain: donsbot.wordpress.com, Score: 48, Comments: 21
     Original: [15] http://goo.gl/ik0pc3
     On Reddit: [16] http://goo.gl/vDC3Jn

   * Speeding up conduit
     Domain: fpcomplete.com, Score: 42, Comments: 27
     Original: [17] http://goo.gl/wdbJVY
     On Reddit: [18] http://goo.gl/hfnyhj

   * Why is GHC Runtime Enviornment in C?
     Domain: self.haskell, Score: 39, Comments: 34
     Original: [19] http://goo.gl/9uh3YJ
     On Reddit: [20] http://goo.gl/9uh3YJ

   * An introduction to QuickCheck by example: Number theory and 
     Okasaki's red-black trees
     Domain: matt.might.net, Score: 37, Comments: 1
     Original: [21] http://goo.gl/DnXQrK
     On Reddit: [22] http://goo.gl/zkLzQi

   * [ANN] dash-haskell: Package dependency approximate documentation 
     look-up & access for IDE(s) (Emacs,Vim+)
     Domain: github.com, Score: 31, Comments: 9
     Original: [23] http://goo.gl/Z6HHFK
     On Reddit: [24] http://goo.gl/jxtJWW

   * Deprecating yesod-platform
     Domain: yesodweb.com, Score: 30, Comments: 10
     Original: [25] http://goo.gl/C3sSj9
     On Reddit: [26] http://goo.gl/P5w22y

   * Building Monad Transformers.
     Domain: jakubarnold.cz, Score: 25, Comments: 8
     Original: [27] http://goo.gl/SBeulZ
     On Reddit: [28] http://goo.gl/0a5vYr

   * Better code readability with Vim Haskell Conceal+
     Domain: github.com, Score: 20, Comments: 44
     Original: [29] http://goo.gl/2pNWCz
     On Reddit: [30] http://goo.gl/FMThMu

   * What's the best practice for building a DSL in haskell?
     Domain: self.haskell, Score: 19, Comments: 22
     Original: [31] http://goo.gl/v9fIO8
     On Reddit: [32] http://goo.gl/v9fIO8

   * Object-Oriented Style Overloading for Haskell
     Domain: research.microsoft.com, Score: 18, Comments: 9
     Original: [33] http://goo.gl/SPkDps
     On Reddit: [34] http://goo.gl/UwF6X5

   * SmartChecking Matt Might’s Red-Black Trees
     Domain: leepike.wordpress.com, Score: 18, Comments: 0
     Original: [35] http://goo.gl/gd5aUQ
     On Reddit: [36] http://goo.gl/9Ubkra

Top StackOverflow Questions

   * What kinds of type errors can Haskell catch at compile time that 
     Java cannot? [closed]
     votes: 23, answers: 4
     Read on SO: [37] http://goo.gl/19MljX

   * How to link custom object file with Haskell library
     votes: 18, answers: 0
     Read on SO: [38] http://goo.gl/K6uC0X

   * Finding where <<loop>> happened
     votes: 17, answers: 2
     Read on SO: [39] http://goo.gl/kby69L

   * What exactly makes Option a monad in Scala?
     votes: 17, answers: 3
     Read on SO: [40] http://goo.gl/whDpHu

   * Arrow without arr
     votes: 16, answers: 0
     Read on SO: [41] http://goo.gl/VBbo0Z

   * max and min with NaN in Haskell
     votes: 15, answers: 3
     Read on SO: [42] http://goo.gl/xLFDhm

   * Simplifying a GADT with Uniplate
     votes: 11, answers: 1
     Read on SO: [43] http://goo.gl/uWL1pI

   * Trying to apply CPS to an interpreter
     votes: 9, answers: 1
     Read on SO: [44] http://goo.gl/kCtbcq

   * Jumping forward with the continuation monad
     votes: 8, answers: 1
     Read on SO: [45] http://goo.gl/fBKheg

   Until next time,
   [46]+Daniel Santa Cruz

References


_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
John Alfred Nathanael Chee | 27 Aug 20:32 2014
Picon

ANN: cgi 3001.2.0.0

Hello,

I've just uploaded a new version of cgi to hackage [1]. This release supports GHC 7.8.3, 7.6.3, and 7.4.2.

I'm also looking for co-maintainers or backup maintainers of cgi, please email me directly if you're interested.

This release was made possible with the assistance and guidance of Carter Schonwald and was based on a patch by Alexander Vershilov.

Thanks.
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Bryan Gardiner | 23 Aug 22:35 2014
Picon

ANNOUNCE: goatee, goatee-gtk: Go game editor

After 359 days, I'm pleased to announce the first official release of
Goatee, a game editor for the board game Go.  (Don't worry, those two
remaining liberties are eyes.)  Here's the project summary:

> Goatee is a Go library and game editor, written in Haskell.  It
> provides a GUI for recording, studying, and editing game records.
> Underneath this is a portable library for manipulating SGF files to
> build UIs and tools.  Goatee aims to be full-featured by supporting
> all of the SGF spec and allowing for full and easy customization of
> the game records you create.

UI features include:

- Game navigation, variations and variation modes, game tree
  restructuring.
- Annotations: marks (r/w), arrows and lines (r/o), visibility (r/o).
- Full support for game info.
- Manual editing of SGF properties.
- One-color and blind Go modes.

Two Hackage packages are available: 'goatee' is the shared library,
and 'goatee-gtk' is the UI.

Lots more is planned; stay tuned!

http://khumba.net/projects/goatee
http://hackage.haskell.org/package/goatee
http://hackage.haskell.org/package/goatee-gtk

Cheers,
Bryan
Slim Kallel | 22 Aug 11:58 2014
Picon

CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable software systems and architectures

Call for papers

===============================
Journal of Systems and Software (JSS, Elsevier)
Impact Factor: 1.245 (5-Year Impact Factor: 1.443)

Special issue on Adaptive and reconfigurable software systems and architectures
===============================

The focal concerns are Service-oriented and component-based software systems, applications and architectures addressing adaptation and reconfiguration issues. Different investigation topics are involved, such as: CBSE, SOA, Functional and Non Functional (NF) requirements (QoS, performance, resilience), monitoring, diagnosis, decision and execution of adaptation and reconfiguration. Different research axes are covered: concepts, methods, techniques, and tools to design, develop, deploy and manage adaptive and reconfigurable software systems.

The development of composite services poses very interesting challenges concerning their functional and NF requirements. On the one hand, a composite software system depends on the NF requirements of its constituting components in order to provide a satisfactory service to the user. On the other hand, the main issues for the fulfilment of QoS and service level agreements (SLA) are concerned with performance variability. Indeed, the QoS may evolve frequently, either because of internal changes or because of workload fluctuations. The performance and the robustness of the composite software system may be significantly improved by monitoring the execution of the components and by flexibly reacting to degradation and anomalies in a timely fashion.

The concept of adaptive and reconfigurable software systems has been introduced in order to describe architectures, which exhibit such properties. An adaptive and reconfigurable software system can repair itself if any execution problems occur, in order to successfully complete its own execution, while respecting functional and NF agreements. In the design of an adaptive and reconfigurable software system, several aspects have to be considered. For instance, the system should be able to predict or to detect degradations and failures as soon as possible and to enact suitable recovery actions. Moreover, different NF requirements service levels might be considered in order to complete the execution in case of failure.

======= TOPICS ======= 

The special issue only solicits and accepts papers whose major contributions are within the domain of software engineering. Authors should refer to the highlighted scope of the JSS on the journal homepage for the precise scope of the JSS http://www.journals.elsevier.com/journal-of-systems-and-software/#scope.

Contributions are devoted to functional and non-functional adaptability and reconfiguration management in service-oriented and component-based software systems. Specifically, the relevant topics include, but are not limited to:

Distributed and centralized collaborative solutions for the diagnosis and repair of software systems
Design for the diagnosability and repairability
Collaborative Management of NF requirements (quality, security, robustness, availability)
Monitoring simple and composite architectures, components and services
Semantic (or analytic) architectural and behavioral models for monitoring, planning and deployment of software systems
Dynamic reconfiguration of CB and SO software systems architectures
Software architecture design and validation for complex systems
Scalability management in software systems architectures
Collaborative planning and decision-making
Collaborative technologies for ensuring autonomic properties
Predictive management of adaptability.
Collaborative Management of autonomic properties
Experiences in practical adaptive and reconfigurable CB and SO applications
Tools and prototypes for managing adaptability of CB and SO applications


======= PAPER SUBMISSION ======= 

Submission deadline: October 15, 2014

All submissions have to be prepared according to the Guide for Authors as published in the journal website at http://ees.elsevier.com/jss/

Authors should select “SI:AROSA”, from the “Choose Article Type” pull-down menu during the submission process. All contributions must not have been previously published or be under consideration for publication elsewhere.

A submission extended from a previous conference version has to contain at least 30% new material. Authors are requested to attach to the submitted paper their relevant, previously published articles and a summary document explaining the enhancements made in the journal version.


=======  Guest Editors ======= 

Khalil Drira( LAAS-CNRS, University of Toulouse, France)
Slim Kallel (FSEGS, University of Sfax, Tunisia)
Ismael Bouassida Rodriguez(LAAS-CNRS, University of Toulouse, France)

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Daniel Santa Cruz | 21 Aug 06:20 2014
Picon

Haskell Weekly News: Issue 302

Welcome to issue 302 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers
from August 3 to 16, 2014

Quotes of the Week

   * alpha123: I don't think I have the gonads for monads. :(

   * edwardk: There is nothing Natural about a Word. 

   * bernalex: I very often have to deal with people who think 
            I'm pretentious for caring about what programming 
      language I use. "it's just programming". lol.
     sopvop: I used to think the same
     sopvop: Then haskell corrupted me
     sopvop: Haskell is a ghetto

Top Reddit Stories

   * ಠ_ಠ :: String -> a
     Domain: hackage.haskell.org, Score: 122, Comments: 56
     Original: [1] http://goo.gl/S87evt
     On Reddit: [2] http://goo.gl/vsfwgr

   * An inspiring Haskell story: the green screen of FP
     Domain: keera.co.uk, Score: 120, Comments: 13
     Original: [3] http://goo.gl/z8Aecw
     On Reddit: [4] http://goo.gl/fevzzz

   * Haskell Platform 2014.2.0.0 is released
     Domain: haskell.org, Score: 117, Comments: 56
     Original: [5] http://goo.gl/Wc6TAF
     On Reddit: [6] http://goo.gl/hMPM7F

   * criterion 1.0: a major new release
     Domain: serpentine.com, Score: 110, Comments: 13
     Original: [7] http://goo.gl/7Qf3ox
     On Reddit: [8] http://goo.gl/Pa9fCW

   * What’s a module system good for anyway?
     Domain: blog.ezyang.com, Score: 102, Comments: 20
     Original: [9] http://goo.gl/qtm97E
     On Reddit: [10] http://goo.gl/XlWrM2

   * Easy Haskell Profiling
     Domain: danielvelkov.blogspot.com, Score: 83, Comments: 33
     Original: [11] http://goo.gl/SWdxdC
     On Reddit: [12] http://goo.gl/z6clxp

   * Type Theory Podcast: Peter Dybjer on QuickCheck, verification, 
     and semantics
     Domain: typetheorypodcast.com, Score: 57, Comments: 21
     Original: [13] http://goo.gl/jN12Ak
     On Reddit: [14] http://goo.gl/tLVPpw

   * Fantasy World Haskell
     Domain: self.haskell, Score: 52, Comments: 165
     Original: [15] http://goo.gl/UmJLhG
     On Reddit: [16] http://goo.gl/UmJLhG

   * Haskell for all: managed-1.0.0: A monad for managed resources
     Domain: haskellforall.com, Score: 51, Comments: 10
     Original: [17] http://goo.gl/tbw8JN
     On Reddit: [18] http://goo.gl/cKB6xZ

   * Announcing auto-update
     Domain: yesodweb.com, Score: 47, Comments: 4
     Original: [19] http://goo.gl/xhlw04
     On Reddit: [20] http://goo.gl/GO6udg

   * Codeworld: An open-source educational programming environment 
     using Haskell
     Domain: github.com, Score: 47, Comments: 8
     Original: [21] http://goo.gl/7NTgnF
     On Reddit: [22] http://goo.gl/wJBgw5

   * PureScript By Example
     Domain: leanpub.com, Score: 46, Comments: 25
     Original: [23] http://goo.gl/vzcfP6
     On Reddit: [24] http://goo.gl/p3gkEB

   * Lenses from the ground up
     Domain: taylor.fausak.me, Score: 45, Comments: 43
     Original: [25] http://goo.gl/S31V8w
     On Reddit: [26] http://goo.gl/DAGBPz

   * Algebraic Terraforming: Trees from Magma
     Domain: fpcomplete.com, Score: 42, Comments: 22
     Original: [27] http://goo.gl/1nGpnz
     On Reddit: [28] http://goo.gl/iX8ZST

   * Denotational Design: from meanings to programs By Conal Elliott 
     at BayHac (Video)
     Domain: youtube.com, Score: 42, Comments: 5
     Original: [29] http://goo.gl/rHeDrK
     On Reddit: [30] http://goo.gl/SLCZ5D

   * Just LOOK at the humongous type that Hindley-Milner infers for 
     this tiny program!
     Domain: spacemanaki.com, Score: 38, Comments: 27
     Original: [31] http://goo.gl/cAypnJ
     On Reddit: [32] http://goo.gl/ztDpK7

   * Recommended Reading Material
     Domain: reinh.com, Score: 37, Comments: 12
     Original: [33] http://goo.gl/LwGkEr
     On Reddit: [34] http://goo.gl/ED5pqI

   * (Monoidal) transducers are monoid homomorphisms
     Domain: oleksandrmanzyuk.wordpress.com, Score: 37, Comments: 43
     Original: [35] http://goo.gl/VPDl6Y
     On Reddit: [36] http://goo.gl/5RY9Nf

   * λ Lessons: Pattern matching, first-class functions, and abstracting 
     over recursion in Haskell
     Domain: stevekrouse.github.io, Score: 36, Comments: 3
     Original: [37] http://goo.gl/NkxhS5
     On Reddit: [38] http://goo.gl/4275GH

Top StackOverflow Questions

   * What are the problems with an ADT encoding that associates types with 
     data constructors? (Such as Scala.)
     votes: 41, answers: 1
     Read on SO: [39] http://goo.gl/k4bw4R

   * Why is Haskell missing “obvious” Typeclasses
     votes: 26, answers: 7
     Read on SO: [40] http://goo.gl/2YElO8

   * Is there a way to elegantly represent this pattern in Haskell?
     votes: 22, answers: 6
     Read on SO: [41] http://goo.gl/sQdRMt

   * Why does Scala not have a return/unit function defined for each monad 
     (in contrast to Haskell)?
     votes: 16, answers: 4
     Read on SO: [42] http://goo.gl/MQlZTi

   * How did Haskell add Turing-completeness to System F?
     votes: 15, answers: 1
     Read on SO: [43] http://goo.gl/weJo4Z

   * How to avoid superfluous variables in do notation?
     votes: 14, answers: 2
     Read on SO: [44] http://goo.gl/b3IgC5

Until next time,
[45]+Daniel Santa Cruz

References


_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Edward Kmett | 18 Aug 10:16 2014
Picon

CUFP 2014: Call For Participation

******************************************************************


CALL FOR PARTICIPATION


Commercial Users of Functional Programming (CUFP) 2014 at ICFP 2014; 

Gothenburg, Sweden, Sep 4-6.


******************************************************************


Overview

========


Functional programming has been at the forefront of a new generation 

of programming technologies: Companies employing functional 

programming use it to enable more effective, robust, and flexible 

software development. 


The annual CUFP workshop is designed to serve the growing community of 

commercial users of functional programming: Practitioners meet and 

collaborate; language designers and users can share ideas about the 

future of their languages; experts share their expertise on practical 

functional programming. 


CUFP 2014 begins with two days of tutorials by top-notch 

language experts including advanced tutorials on special topics,

followed by a day of talks about industrial applications of 

functional programming.


More information about CUFP 2014 is available on the CUFP web site at 


http://cufp.org/2014/


Registration is available at: 


https://regmaster4.com/2014conf/ICFP14/register.php


TUTORIALS, SEPTEMBER 4

======================


T1: Programming with Dependent Types

Ulf Norell


T2: Haskell in the Real World

Stefan Wehr


T3: Intro to Elm: a field guide for functional front-end programming (Part 1)

Evan Czaplicki & Spiros Eliopoulos


T4: Elm-d3: Front-end Development without Frameworks (Part 2)

Spiros Eliopoulos


T5: Idris: Practical Software Verification with Dependent Types

Edwin Brady


T6: Lens

Edward Kmett


TUTORIALS, SEPTEMBER 5

======================


T7: Introduction to OCaml

Leo White & Jeremy Yallop


T8: Programming in Rust

Felix Klock & Lars Bergstrom


T9: Tinkering with the Raspberry Pi using Erlang

Torben Hoffmann


T10: Hands-on Functional Web Development in F# with WebSharper

Adam Granicz


T11: Batteries Included: Generative Programming with Scala and LMS

Tiark Rompf & Nada Amin


T12: Introduction to testing with QuickCheck

John Hughes


TALKS, SEPTEMBER 6 

==================


Keynote: Making Money From FP

Joe Armstrong, Ericsson and Royal Institute of Technology in Stockholm


Functional Programming at Verizon OnCue

Timothy Perrett, Verizon


Adopting Functional Programming with OCaml at Bloomberg LP

Maxime Ransan, Bloomberg LP


MBrace: large-scale programming in F#

Eirik Tsarpalis, Nessos


Probabilistic Synchronization of State Between Independent Nodes

Erlend Hamberg


Towards "annex", a Fact Based Dependency System

Mark Hibberd


Building data and time-series analytics tools for F#

Tomas Petricek & Howard Mansell


Haskell in the Misson Control Domain

Michael Oswald


Haskell tools for satellite operations

Björn Buckwalter


F# For Fun and Games

Anthony Brown


Some usages of functional programming for FO and quants

Renaud Bechade


Reactive I/O with Scala, Akka, and Play

Kenneth Owens, Comcast


If your server is a function, is your company a library?

Andrew Cowie
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Gmane