2 DAY CONFERENCE

Haskell eXchange 2018

Topics covered at #haskellx

Thursday, 11th - Friday, 12th October in London

37 experts spoke.
Overview

The seventh Haskell eXchange returns with more in store for you to learn and discover! Join leading experts in the Haskell realm who will share their ideas and thought processes on all things Haskell. Follow us at #HaskellX for all the latest updates on the conference!

Thank you to all speakers, sponsors and attendees for making Haskell eXchange 2017 a memorable event!

Highlights

Thrilled to announce Simon Peyton Jones, Stephanie Weirich, Niki Vazou and Simon Marlow will be sharing a Keynote at Haskell eXchange 2018! We're looking forward to learning from these Haskell eXchange experts and we hope you are too! Check out the latest updates to the line-up on our Programme Page.



Tickets

Registration is open and we have the Super Early Bird offer available for a few days only - now till Monday 16th October 2017! If you are planning to join us for two days of Haskell fun, get your skates on and book your Super Early Bird Ticket today!

Call for Papers is now CLOSED!

The Call for Papers is now CLOSED! Thanks for submitting a proposal, the response's been overwhelming and we are currently working on selecting talks. Click here to stay up to date and find out more on speakers as we'll start publishing the line-up very soon!

Get Involved

Would you like to help us facilitate a great conference? Help us set up the conference spaces, introduce talks and speakers, field Q&A questions with mics, or support some of the workshops and hacks we've got in store? Sign up as a volunteer and get a free ticket to the conference!

Code of Conduct

Please find our Code of Conduct here.

Impressions of last year

Excited? Share it!

Programme

Day 1: Thursday - 11 Oct 2018

Don't miss these inspiring talks!

Track CTRL ALT/TAB CMD
08:30

Registration & Breakfast Refreshments

09:15

Opening & Welcome

09:30
KEYNOTE

Keynote: Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language

Simon Peyton Jones

All levels


ghc functional-programming linear-type-systems keynote haskellx haskell
10:30

Coffee Break

10:45

Headfirst into Haskell

Abby Sassel

All levels


haskell community learning

Haskell IDE Support via LSP

Alan Zimmerman

All levels


haskell-ide-engine lsp haskellx haskell

Workshop: Build a RESTful Room-Booking Server Using Servant and Aeson

Ben Clifford

Beginner


aeson servant hands-on rest haskell
11:30

Coffee Break

11:45

A Well-Typed Binomial Heap

Jasper Van der Jeugt

Beginner


typefamilies datastructures haskell dependent

Write Your Own GHC Type Checker Plugins

Gabe Dijkstra

Advanced


haskell ghc type-level-programming dependent-types

Workshop Continued: Build a RESTful Room-Booking Server Using Servant and Aeson

Ben Clifford

Beginner


haskell hands-on-rest servant aeson
12:30

Lunch Break

13:30

Labelled Algebraic Graphs

Andrey Mokhov

All levels


haskell haskellx functional-programming graphs algebraic-graphs

Write Yourself a Typed Functional Language

Oleg Grenrus

Advanced


haskellx haskell

Raytracing with Haskell

Michał Kawalec

Advanced


haskell 3d-graphics ghc memory performance
14:15

Coffee Break

14:30

A Promise Checked is a Promise Kept: Inspection Testing

Joachim Breitner

Advanced


haskell library-design optimization testing
2

GRIN - an Alternative Haskell Compiler Backend

Andor Penzes and Csaba Hruska

All levels


machine-code abstract-interpretation whole-program-optimisation llvm haskell optimisation compiler

Binding Types à la carte

Arnaud Spiwack

Advanced


haskell quantified-constraints category-theory algebraic-data-types binders abstract-syntax-trees
15:15

Coffee Break

15:30

Authenticated Data Structures, Generically, in Haskell

Lars Brünjes

Advanced


haskell data-structures free-monads cryptographic-hash-function interpreters-for-free-monads authenticated-data-structures

Supermonads: One Notion to Bind Them All

Henrik Nilsson

Advanced


haskell monads ghc type-constructors supermonads

Reproducible Scientific Workflows in Haskell

Nicholas Clarke

Beginner


haskell reproducible-research arrows pipelines genetics workflow
16:15

Coffee Break

16:30
KEYNOTE

Keynote: Dependent Types in Haskell

Stephanie Weirich

All levels


keynote ghc dependent-type-theory types functional-programming haskellx haskell
17:30

Beer Break

17:45
KEYNOTE

Park Bench Panel

Andres Löh

All levels


haskellx haskell panel
18:45

#HaskellX Party with Pizza and Beer!

21:00

End of Day 1

Day 2: Friday - 12 Oct 2018

Don't miss these inspiring talks!

Track CTRL ALT/TAB CMD
08:30

Registration & Breakfast Refreshments

09:20

Welcome to Day 2

09:30
KEYNOTE

Keynote: Liquid Haskell: Theorem Proving for All

Niki Vazou

All levels


keynote haskellx haskell
10:30

Coffee Break

10:45

Deriving Via

Andres Löh

Advanced


generic-programming type-classes deriving haskell

Wire Once, Rewire Twice

Eric Torreborre

All levels


haskell haskellx testing typeclasses modules

A Formal Approach to Distributed Systems: Implementing a Pi-calculus interpreter in Haskell

Thomas Dietert

All levels


haskell dsl parallel-computing pi-calculus formal-methods distributed-systems
11:30

Coffee Break

11:45

Building a Multi-Billion Dollar Cryptocurrency with Haskell

Duncan Coutts

Beginner


haskellx cryptocurrency blockchain haskell

I Haskell a Git

Vaibhav Sagar

Advanced


content-addressable-stores parser-combinators git haskell

The Gonimo Architecture

Robert Klotzner

Advanced


mvc-architecture frp-library gonimo-architecture haskell
12:30

Lunch Break

13:30

Implementing Inline-*

Facundo Domínguez

All levels


haskell plugins ghc quasiquotations template-haskell ffi

Vectorization in Haskell

Abhiroop Sarkar

All levels


haskell automatic-vectorization parallel-programming compiler-optimizations code-generation data-parallelism compilers

Elegant Geometry with Denotational Design

David Eichmann

Beginner


haskellx haskell geometry denotational-design
14:15

Coffee Break

14:30

Haskell SpriteKit — A Purely Functional API for a Stateful Animation System & Physics Engine

Manuel M T Chakravarty

All levels


haskell frameworks bindings spritekit physics animation games

Building a Program from Streams

Tim Williams

Beginner


functional-programming haskellx haskell

Profunctors and Data Accessors

Andrzej Rybczak

Advanced


haskell haskellx lens profunctor
15:15

Coffee Break

15:30

Lightning Talk: War is Peace, Freedom is Slavery, Ignorance is Strength

Vaibhav Sagar

Beginner


haskell laws refactoring parametricity static-typing orwell

Lightning Talk: Who Cares About GHC 8.6?

Tom Harding

All levels


haskell constraint-programming ghc type-level-programming

Lightning Talk: Proving your Haskell Code Correct with Lean

Robin Green

All levels


haskell lean haskellx
15:45

Lightning Talk: Patat: A terminal-based presentation tool in Haskell

Jasper Van der Jeugt

Beginner


pata haskell haskellx

Lightning Talk: You'll Love Id!

Gabor Greif

Beginner


id haskellx haskell

Lightning Talk: Marlowe: An embedded DSL for Implementing Financial > Smart-Contracts in Crypto-Currencies

Pablo Lamela-Seijas

All levels


crypto-currencies haskellx haskell
16:00

Lightning Talk: Moving Towards Dialogue: Collaborating with your Computer Using Typed Holes!

Vaibhav Sagar

Beginner


compiler-assisted-programming program-synthesis types tests idris haskell typed-holes

Lightning Talk: Rethinking Freeness through Universal Algebra

Marcin Szamotulski

All levels


haskellx haskell

Lightning Talk: Superior String Spaghetti with PureScript

Justin Woo

All levels


haskell haskellx purescrit
16:15

Beer Break!

16:30
KEYNOTE

Keynote: How to Deploy your Haskell Code Hundreds of Times a Day

Simon Marlow

All levels


keynote sigma-system haskellx haskell
17:30

#HASKELLX 2018 WRAP UP

17:45

#HASKELLX 2018 ENDS - SEE YOU IN 2019!

SkillsCasts
Photos
Other Years


Thank you to our sponsors and partners


Platinum

Silver

Partners