Haskell 2016 – Proceedings

9th International Haskell Symposium (Haskell 2016)

Frontmatter

Testing

FitSpec: Refining Property Sets for Functional Testing
Rudy Braquehais and Colin Runciman
(University of York, UK)


@InProceedings{Haskell16p1, author = {Rudy Braquehais and Colin Runciman}, title = {FitSpec: Refining Property Sets for Functional Testing}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

QuickFuzz: An Automatic Random Fuzzer for Common File Formats
Gustavo Grieco, Martín Ceresa, and Pablo Buiras
(CIFASIS-CONICET, Argentina; Harvard University, USA)


@InProceedings{Haskell16p14, author = {Gustavo Grieco and Martín Ceresa and Pablo Buiras}, title = {QuickFuzz: An Automatic Random Fuzzer for Common File Formats}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {14-13}, doi = {}, year = {2016}, }

FRP

Causal Commutative Arrows Revisited
Jeremy Yallop and Hai Liu
(University of Cambridge, UK; Intel Labs, USA)


@InProceedings{Haskell16p27, author = {Jeremy Yallop and Hai Liu}, title = {Causal Commutative Arrows Revisited}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2016}, }

Functional Reactive Programming, Refactored
Ivan Perez, Manuel Bärenz, and Henrik Nilsson
(University of Nottingham, UK; University of Bamberg, Germany)


@InProceedings{Haskell16p40, author = {Ivan Perez and Manuel Bärenz and Henrik Nilsson}, title = {Functional Reactive Programming, Refactored}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2016}, }

Functors

Free Delivery (Functional Pearl)
Jeremy Gibbons
(University of Oxford, UK)


@InProceedings{Haskell16p53, author = {Jeremy Gibbons}, title = {Free Delivery (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2016}, }

How to Twist Pointers without Breaking Them
Satvik Chauhan, Piyush P. Kurur, and Brent A. Yorgey
(Google, USA; IIT Kanpur, India; Hendrix College, USA)


@InProceedings{Haskell16p66, author = {Satvik Chauhan and Piyush P. Kurur and Brent A. Yorgey}, title = {How to Twist Pointers without Breaking Them}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, }

Web Technology

High-Performance Client-Side Web Applications through Haskell EDSLs
Anton Ekblad
(Chalmers University of Technology, Sweden)


@InProceedings{Haskell16p79, author = {Anton Ekblad}, title = {High-Performance Client-Side Web Applications through Haskell EDSLs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {79-78}, doi = {}, year = {2016}, }

Experience Report: Developing High Performance HTTP/2 Server in Haskell
Kazuhiko Yamamoto
(IIJ, Japan)


@InProceedings{Haskell16p92, author = {Kazuhiko Yamamoto}, title = {Experience Report: Developing High Performance HTTP/2 Server in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {92-91}, doi = {}, year = {2016}, }

Language Features

Pattern Synonyms
Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg
(University of Oxford, UK; Standard Chartered Bank, Singapore; Microsoft Research, UK; Bryn Mawr College, USA)


@InProceedings{Haskell16p98, author = {Matthew Pickering and Gergő Érdi and Simon Peyton Jones and Richard A. Eisenberg}, title = {Pattern Synonyms}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {98-97}, doi = {}, year = {2016}, }

Desugaring Haskell's do-Notation into Applicative Operations
Simon Marlow, Simon Peyton Jones, Edward Kmett, and Andrey Mokhov
(Facebook, UK; Microsoft Research, UK; S&P Global, USA; Newcastle University, UK)


@InProceedings{Haskell16p111, author = {Simon Marlow and Simon Peyton Jones and Edward Kmett and Andrey Mokhov}, title = {Desugaring Haskell's do-Notation into Applicative Operations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, }

Strictness and STM

Revisiting Software Transactional Memory in Haskell
Matthew Le, Ryan Yates, and Matthew Fluet
(Rochester Institute of Technology, USA; University of Rochester, USA)


@InProceedings{Haskell16p124, author = {Matthew Le and Ryan Yates and Matthew Fluet}, title = {Revisiting Software Transactional Memory in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {124-123}, doi = {}, year = {2016}, }

Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
Yisu Remy Wang, Diogenes Nunez, and Kathleen Fisher
(Tufts University, USA)


@InProceedings{Haskell16p137, author = {Yisu Remy Wang and Diogenes Nunez and Kathleen Fisher}, title = {Autobahn: Using Genetic Algorithms to Infer Strictness Annotations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2016}, }

Types

Experience Report: Types for a Relational Algebra Library
Lennart Augustsson and Mårten Ågren
(Standard Chartered Bank, UK; Standard Chartered Bank, Singapore)


@InProceedings{Haskell16p150, author = {Lennart Augustsson and Mårten Ågren}, title = {Experience Report: Types for a Relational Algebra Library}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {150-149}, doi = {}, year = {2016}, }

Embedding Session Types in Haskell
Sam Lindley and J. Garrett Morris
(University of Edinburgh, UK)


@InProceedings{Haskell16p156, author = {Sam Lindley and J. Garrett Morris}, title = {Embedding Session Types in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {156-155}, doi = {}, year = {2016}, }

Monads

The Key Monad: Type-Safe Unconstrained Dynamic Typing
Atze van der Ploeg, Koen Claessen, and Pablo Buiras
(Chalmers University of Technology, Sweden; Harvard University, USA)


@InProceedings{Haskell16p169, author = {Atze van der Ploeg and Koen Claessen and Pablo Buiras}, title = {The Key Monad: Type-Safe Unconstrained Dynamic Typing}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2016}, }

Supermonads: One Notion to Bind Them All
Jan Bracker and Henrik Nilsson
(University of Nottingham, UK)


@InProceedings{Haskell16p182, author = {Jan Bracker and Henrik Nilsson}, title = {Supermonads: One Notion to Bind Them All}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {182-181}, doi = {}, year = {2016}, }

Abstractions that Scale

Non-recursive Make Considered Harmful: Build Systems at Scale
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, and Simon Marlow
(Newcastle University, UK; Standard Chartered Bank, UK; Microsoft Research, UK; Facebook, UK)


@InProceedings{Haskell16p195, author = {Andrey Mokhov and Neil Mitchell and Simon Peyton Jones and Simon Marlow}, title = {Non-recursive Make Considered Harmful: Build Systems at Scale}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2016}, }

Lazy Graph Processing in Haskell
Philip Dexter, Yu David Liu, and Kenneth Chiu
(SUNY Binghamton, USA)


@InProceedings{Haskell16p208, author = {Philip Dexter and Yu David Liu and Kenneth Chiu}, title = {Lazy Graph Processing in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {208-207}, doi = {}, year = {2016}, }

proc time: 0.68