Joy room
Happiness room
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