2 DAY CONFERENCE

Haskell eXchange 2015

Topics covered at #haskellx

Thursday, 8th - Friday, 9th October in London

26 experts spoke.

Overview

Featuring two days of talks, demos and discussions, the Haskell eXchange is an opportunity for Haskellers to meet, talk, learn, share skills and exchange ideas. Everyone is welcome to join, whether an expert or a beginner, whether commercial user, academic or hobbyist.

Line Up 2015

View this year's speakers, topics and workshops/tutorials here.

The Haskell eXchange is an independent conference organised for and by the community. We are therefore looking forward to these year's talks and workshops in particular on:

  • Talks about Haskell libraries and tools
  • Experience reports on the use of Haskell in various environments
  • Tutorials on the use of Haskell itself, or particular Haskell libraries and tools
  • Coding techniques, tips and tricks
  • Talks about the implementation of Haskell compilers and tools
  • Ideas for language design and the future of Haskell
  • Impressions of other programming languages that are related to Haskell

There will be three types of session:

  • 45 minute talks
  • 15 minute lightning talks
  • 2+ hour hands on sessions / tutorials

Haskell Infrastructure Hackathon

There will be a Haskell Hackathon following the conference. Find out more here.

Sponsorship

If you are interested in sponsoring Haskell eXchange 2015, visit this page.

Excited? Share it!

Programme

Day 1: Thursday, October 8th, 2015

Haskell Exchange

Track Track 1 Track 2
08:00

Arrival, Registration & Breakfast


08:55

Opening & Welcome

Andres Löh


09:00

Keynote from Simon Peyton Jones - Into the Core: Understanding GHC’s Intermediate Language

Simon Peyton Jones


haskellx haskell functional-programming ghc haskell-ghc core-to-core haskell-core core
10:00

Tea & Coffee Break


10:30

Scalable and Reliable Video Transcoding in Haskell

Alfredo Di Napoli


haskell functional-programming video-transcoding hpc scalability distributed-computing haskellx

The Ludwig DSL

Jasper Van der Jeugt


haskell dsls ocaml web
11:30

Haskell goes DevOps

Vladimir Kirillov


haskell functional-programming devops nix

Call C functions from Haskell without bindings

Francesco Mazzoli


haskell functional-programming type-theory concurrency web-technologies hpc inline-c legacy
12:15

Lunch


13:30

A new foundation for refactoring - ghc-exactprint

Matthew Pickering


haskell functional-programming refactoring ghc-exactprint haskell-ghc apply-refact haskell-src-exts haskellx

Workshop: Haskell’s ultimate challenge: Game programming for Fun and Profit - Part 1

Ivan Perez


haskell functional-programming game-programming
14:30

High performance programming in Haskell

Johan Tibell


haskell functional-programming hpc optimization

Workshop: Haskell’s ultimate challenge: Game programming for Fun and Profit - Part 2

Ivan Perez


15:30

Tea & Coffee Break


15:45

Data Deduplication in Haskell: An Experience Report

Philipp Kant


functional-programming haskell infinipool haxl servant haskellx

GUI Programming in Haskell: Review & Experiences

Oliver Charles


haskell gui gui-programming haskellx
16:05

The HdpH Framework for Parallel Distributed Computation

Blair Archibald


haskell functional-programming hdph hdph-runtime dsl cloud-haskell eden gum gph

Using Haskell as a Thinking Tool

Andraz Bajt


haskell functional-programming
16:25

JsonGrammar: combinators for bidirectional JSON conversion

Martijn van Steenbergen


haskell functional-programming json

Haskell development with Docker

San Gillis


haskell functional-programming docker dependencies container devops
16:45

Tea & Coffee Break


17:00

Keynote from Lennart Augustsson - Giving Haskell Types to a Relational Algebra Library in C++

Lennart Augustsson


haskell types strongly-typed haskellx ghc
18:00

Haskell eXchange Party - Pizza and Drinks


Day 2: Friday, October 9th, 2015

Haskell Exchange Day 2

Track Track 1 Track 2
08:00

Arrival, Registration & Breakfast


09:00

Keynote from Simon Marlow - Fun with Haxl

Simon Marlow


functional-programming research haskell
10:00

Tea & Coffee Break


10:30

Defining your own Build System with Shake

Neil Mitchell


haskell functional-programming build-systems

From Types to Web Applications

Alp Mestanogullari


haskell numerical-computing al web-applications mathematics
11:30

Build Your Own Proof Assistant

Mietek Bak


program type proof proposition language logic haskell
2

What Haskell can learn from Scala

Lars Hupel and Miles Sabin


haskell scala functional-programming
12:15

Lunch


13:30

Programming with Universal Properties

Gershom Bazerman


haskell functional-programming category-theory

Workshop: Hands-on introduction to Opaleye

Tom Ellis


haskell databases scientific-computing teaching consulting
14:30

Transformers, Handlers in Disguise

Nicolas Wu


haskell effect-handlers monads monad-transformers functional-programming

Workshop: Hands-on introduction to Opaleye

Tom Ellis


haskell databases scientific-computing teaching consulting
15:30

Tea & Coffee Break


15:45

Keynote from Luite Stegeman - Solving the JavaScript Problem

Luite Stegeman


haskell javascript web compiler
17:00

Park Bench Discussion

Andres Löh


18:00

Wrap Up


SkillsCasts
Photos
Other Years


Thank you to our sponsors and partners


Platinum

Gold

Silver