Haskell Index

Written by Gemma Gordon, Anil Madhavapeddy, Gabriel Scherer ()

Click this for a summary of the talks and their times

Welcome

Written by your-uid-here (your-name-here) ()

Thursday 22nd 0915-0925 AM (Haskell 2016)

FitSpec: Refining property sets for functional testing

Written by your-uid-here (your-name-here) ()

Thursday 22nd 0925-0950 AM (Haskell 2016)

QuickFuzz: An automatic random fuzzer for common file formats

Written by your-uid-here (your-name-here) ()

Thursday 22nd 0950-1015 AM (Haskell 2016)

Causal commutative arrows revisited

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1035-1100 AM (Haskell 2016)

Functional reactive programming, refactored

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1100-1125 AM (Haskell 2016)

Free delivery (Functional Pearl)

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1145-1235 AM (Haskell 2016)

How to twist pointers without breaking them

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1210-1235 PM (Haskell 2016)

High-performance client-side web applications through Haskell EDSLs

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1400-1425 PM (Haskell 2016)

Experience report: Developing high performance HTTP/2 server in Haskell

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1425-1450 PM (Haskell 2016)

Pattern synonyms

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1520-1545 PM (Haskell 2016)

Desugaring Haskell's do-Notation into applicative operations

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1545-1610 PM (Haskell 2016)

Lightning talks

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1640-1800 PM (Haskell 2016)

Revisiting software transactional memory in Haskell

Written by your-uid-here (your-name-here) ()

Friday 23rd 0925-0950 AM (Haskell 2016)

Autobahn: Using genetic algorithms to infer strictness annotations

Written by your-uid-here (your-name-here) ()

Friday 23rd 0950-1015 AM (Haskell 2016)

Experience report: Types for a relational algebra library

Written by your-uid-here (your-name-here) ()

Friday 23rd 1035-1100 AM (Haskell 2016)

Embedding session types in Haskell

Written by your-uid-here (your-name-here) ()

Friday 23rd 1100-1125 AM (Haskell 2016)

PC chair report and state of Haskell

Written by your-uid-here (your-name-here) ()

Friday 23rd 1145-1235 AM (Haskell 2016)

The Key monad: Type-dafe unconstrained dynamic typing

Written by your-uid-here (your-name-here) ()

Friday 23rd 1400-1425 PM (Haskell 2016)

Supermonads: One notion to bind them all

Written by your-uid-here (your-name-here) ()

Friday 23rd 1425-1450 PM (Haskell 2016)

Non-recursive make considered harmful: Build systems at scale

Written by your-uid-here (your-name-here) ()

Friday 23rd 1520-1545 PM (Haskell 2016)

Lazy graph processing in Haskell

Written by your-uid-here (your-name-here) ()

Friday 23rd 1545-1610 PM (Haskell 2016)