2 DAY CONFERENCE

Haskell eXchange 2016

Topics covered at #haskellx

Thursday, 6th - Friday, 7th October in London

37 experts spoke.
Overview

Thank you!!

Bigger and Better!

The fifth Haskell eXchange was a great success, growing to 3 tracks of inspiring talks and workshops. Thank you to all those who joined us, Speakers and Attendees alike, we had an awesome time and we hope you did too! A special mention to our Programme Committee who helped us build a superb schedule as well.

Registration for 2017 is Open!


Haskell eXchange 2017 will be held on 12th and 13th October 2017. Join us for another great year - don't miss our Early Bird Registration offers!

Impressions of last year

Excited? Share it!

Programme

Day 1: Thursday 6th October 2016

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: ALT/TAB Room Name: CMD
08:15

Registration

09:00
KEYNOTE

Haskell in the Large - The day to day practice of using Haskell to write large systems

Donald Stewart


10:00

Coffee Break

10:30

Neural Nets with Automatic Differentiation

Lars Brünjes


haskell haskellx neural nets api differentiation

Combinators for Generalised Parsing

Thomas van Binsbergen


haskell haskellx types combinator parsing

Hands On Tutorial: Build yourself a reddit bot

Ben Clifford


haskell haskell-x reddit bot api
11:15

Coffee Break

11:30

Ling, a language with predictable fusion

Nicolas Pouillard


haskell haskell-x ling fusion type-theory language-design linearity optimization system-programming

Meet Hadrian: a new build system for GHC

Andrey Mokhov


haskellx haskell hadrian ghc

Hands On Tutorial: Build yourself a reddit bot

Ben Clifford


haskell haskell-x reddit bot api
12:15

Lunch

13:30

Haskell programs: how do they run?

Tom Ellis


haskellx haskell programming

Haskell meets Java

Mathieu Boespflug


haskell haskellx java spark ffi interoperability jvm distributed-programming

Haskell and OpenCV: theory and practice

Francesco Mazzoli


haskell haskellx opencv inline-c computer-vision foreign-function-interface typelevel-programming
14:15

Coffee Break

14:30

Plugging Space Leaks, Improving Performance

Neil Mitchell


haskell haskellx spaceleak functional-programming hoogle hlint shake

Property Based Testing for your business rules too

Romeu Moura


haskell quickcheck testing algebra symmetries ddd haskellx

The innards of a purely functional 3D shooter game engine (influenced by Quake 3)

Csaba Hruska


haskell haskell-x opengl gamedev gpu dsl lambdacube3d quake game-engine
15:15

Coffee Break

15:30

Functional and low-level: watching the STG execute

David Luposchainsky


haskell haskell-x ghc stg

Proving and testing with servant

Julian Arni


Checking and translating type classes

Andres Löh


haskell haskellx typeclasses types ghc
16:15

Coffee Break

16:30
KEYNOTE

Is a type a lifebuoy or a lamp?

Conor McBride


haskellx haskell
17:30

#HaskellX 2016 Party with Pizza and Beer!

20:00

End of #HaskellX Day 1

Day 2: Friday 7th October 2016

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: ALT/TAB Room Name: CMD
08:15

Registration

09:00
KEYNOTE

Calculating Correct Compilers

Graham Hutton


compilers haskell haskellx technique semantics calculation
10:00

Coffee Break

10:30

Controlling monadic effects with type classes

Andrzej Rybczak


haskell haskell-x computations monad type

Functional Programming at LumiGuide

Bas van Dijk


lumiguide functional-programming haskell haskellx

Hands On Tutorial: Haskell-tools: Refact - A refactoring framework for Haskell

Boldizsár Németh


haskell haskell-x
11:15

Coffee Break

11:30

Everything you need to know about Haskell to be an Amateur Sewage Engineer

Robin Kay


haskell haskell-x algebra programming gui domain models game types

Types All The Way Down

Kris Jenkins


haskell haskell-x types frontend backend javascript elm postgresql

Hands On Tutorial: Haskell-tools: Refact - A refactoring framework for Haskell

Boldizsár Németh


haskell haskell-x
12:15

Lunch Break

13:30
KEYNOTE

A reflection on types - Simon Peyton Jones, Microsoft Research

Simon Peyton Jones


haskell
14:30

Coffee Break

14:45

Design You a Haskell Course

Jeremy Singer


haskell haskell-x

Categories and String Diagrams

Nicolas Wu


haskell haskell-x monads

Creating digital circuits using CλaSH

Christiaan Baaij


haskell haskell-x digital-circuits fpgas parallel-programming
15:30

Coffee Break

15:45
4

Lightning Talks 1

Steven Kutsch, Jann Mueller, Matthias Fischmann, and Andor Penzes


haskell haskell-x
3

Lightning Talks 2

Robert Henderson, Philip Cunningham, and Csongor Kiss


haskell haskell-x
3

Lightning Talks 3

Michał Płachta, Oleg Grenrus, and Nickolay Kudasov


haskell haskell-x
16:30

Beer Break!

16:45
KEYNOTE

#HaskellX Park Bench Park Discussion with Haskell experts!


haskellx haskell panel
17:45

#HaskellX 2016 Wrap Up! See you in 2017!

SkillsCasts
Photos
Other Years


Thank you to our sponsors and partners


Platinum