09:00 – 09:10 EDT

Oli - Opening words

09:15 – 10:00 EDT

Philip Wadler – Propositions as Types

10:10 – 10:25 EDT

Lightning talk by Hasura

10:30 – 11:00 EDT

Jan Christopher Vogt – Writing 2D games using super simple Haskell

Brandon Chinn – aeson-schemas: Safely extract JSON data when data types are too cumbersome

11:15 – 12:00 EDT

Susan Potter – Thinking in Properties

Conal Elliott – Compiling gracefully

12:15 – 12:45 EDT

David Feuer – Stacks and queues with amortized logarithmic-time operations

Jason Shipman – Context Is Everything*

12:45 – 13:15 EDT

BREAK

13:15 – 13:45 EDT

Derek Elkins – Quotient Types + Behavioral Reflection = ?

John Wiegley – Technique for writing debuggable Haskell functions

14:00 – 14:45 EDT

Gabriel Gonzalez – How to market Haskell to a mainstream programmer

Bartosz Milewski – Replacing functions with data

15:00 – 15:30 EDT

Richard Eisenberg – Parameters of Many Flavors

Zainab Ali – A Dominion of Domains

15:45 – 16:30 EDT

Emily Pillmore – Hulk SMASH: re-imagining the Maybe-monad and its design space

Tikhon Jelvis – Reasoning under Uncertainty

16:30 – 17:30 EDT

PARTY