Haskell 2018 – Proceedings

11th ACM SIGPLAN International Haskell Symposium (Haskell 2018)

Frontmatter

Testing

Branching Processes for QuickCheck Generators
Agustín Mista, Alejandro Russo, and John Hughes
(Universidad Nacional de Rosario, Argentina; Chalmers University of Technology, Sweden)


@InProceedings{Haskell18p1, author = {Agustín Mista and Alejandro Russo and John Hughes}, title = {Branching Processes for QuickCheck Generators}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3242744.3242747}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id21-p doi:10.1145/3242744.3242747

A Promise Checked Is a Promise Kept: Inspection Testing
Joachim Breitner
(University of Pennsylvania, USA)


@InProceedings{Haskell18p16, author = {Joachim Breitner}, title = {A Promise Checked Is a Promise Kept: Inspection Testing}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3242744.3242748}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id8-p doi:10.1145/3242744.3242748

Performance

AutoBench: Comparing the Time Performance of Haskell Programs
Martin A. T. Handley and Graham Hutton
(University of Nottingham, UK)


@InProceedings{Haskell18p31, author = {Martin A. T. Handley and Graham Hutton}, title = {AutoBench: Comparing the Time Performance of Haskell Programs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3242744.3242749}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id16-p doi:10.1145/3242744.3242749

Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration)
Marilyn Sun and Kathleen Fisher
(Tufts University, USA)


@InProceedings{Haskell18p46, author = {Marilyn Sun and Kathleen Fisher}, title = {Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3242744.3264734}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id24-p doi:10.1145/3242744.3264734

Generic Programming

Generic Programming of All Kinds
Alejandro Serrano and Victor Cacciari Miraldo
(Utrecht University, Netherlands)


@InProceedings{Haskell18p50, author = {Alejandro Serrano and Victor Cacciari Miraldo}, title = {Generic Programming of All Kinds}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {50-49}, doi = {10.1145/3242744.3242745}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id6-p doi:10.1145/3242744.3242745

Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern
Baldur Blöndal, Andres Löh, and Ryan Scott
(Well-Typed, UK; Indiana University at Bloomington, USA)


@InProceedings{Haskell18p65, author = {Baldur Blöndal and Andres Löh and Ryan Scott}, title = {Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3242744.3242746}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id4-p doi:10.1145/3242744.3242746

Type Classes

Improving Typeclass Relations by Being Open
Guido Martínez, Mauro Jaskelioff, and Guido De Luca
(CONICET, Argentina; Universidad Nacional de Rosario, Argentina)


@InProceedings{Haskell18p80, author = {Guido Martínez and Mauro Jaskelioff and Guido De Luca}, title = {Improving Typeclass Relations by Being Open}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {80-79}, doi = {10.1145/3242744.3242751}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id19-p doi:10.1145/3242744.3242751

Coherent Explicit Dictionary Application for Haskell
Thomas Winant and Dominique Devriese
(KU Leuven, Belgium)


@InProceedings{Haskell18p95, author = {Thomas Winant and Dominique Devriese}, title = {Coherent Explicit Dictionary Application for Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {95-94}, doi = {10.1145/3242744.3242752}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id13-p doi:10.1145/3242744.3242752

Type Extensions

Type Variables in Patterns
Richard A. Eisenberg, Joachim Breitner, and Simon Peyton Jones
(Bryn Mawr College, USA; University of Pennsylvania, USA; Microsoft, UK)


@InProceedings{Haskell18p110, author = {Richard A. Eisenberg and Joachim Breitner and Simon Peyton Jones}, title = {Type Variables in Patterns}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {110-109}, doi = {10.1145/3242744.3242753}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id15-p doi:10.1145/3242744.3242753

The Thoralf Plugin: For Your Fancy Type Needs
Divesh Otwani and Richard A. Eisenberg
(Haverford College, USA; Bryn Mawr College, USA)


@InProceedings{Haskell18p125, author = {Divesh Otwani and Richard A. Eisenberg}, title = {The Thoralf Plugin: For Your Fancy Type Needs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {125-124}, doi = {10.1145/3242744.3242754}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id28-p doi:10.1145/3242744.3242754

Pearls

Ghosts of Departed Proofs (Functional Pearl)
Matt Noonan
(Kataskeue, USA)


@InProceedings{Haskell18p140, author = {Matt Noonan}, title = {Ghosts of Departed Proofs (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {140-139}, doi = {10.1145/3242744.3242755}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id18-p doi:10.1145/3242744.3242755

Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)
Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, and Graham Hutton
(University of Maryland, USA; University of Pennsylvania, USA; University of Nottingham, UK)


@InProceedings{Haskell18p155, author = {Niki Vazou and Joachim Breitner and Rose Kunkel and David Van Horn and Graham Hutton}, title = {Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {155-154}, doi = {10.1145/3242744.3242756}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id10-p doi:10.1145/3242744.3242756

Domain Specific Languages

Rhine: FRP with Type-Level Clocks
Manuel Bärenz and Ivan Perez
(University of Vienna, Austria; National Institute of Aerospace, USA)


@InProceedings{Haskell18p170, author = {Manuel Bärenz and Ivan Perez}, title = {Rhine: FRP with Type-Level Clocks}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {170-169}, doi = {10.1145/3242744.3242757}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id27-p doi:10.1145/3242744.3242757

Embedding Invertible Languages with Binders: A Case of the FliPpr Language
Kazutaka Matsuda and Meng Wang
(Tohoku University, Japan; University of Bristol, UK)


@InProceedings{Haskell18p185, author = {Kazutaka Matsuda and Meng Wang}, title = {Embedding Invertible Languages with Binders: A Case of the FliPpr Language}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {185-184}, doi = {10.1145/3242744.3242758}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id26-p doi:10.1145/3242744.3242758

Experience Reports

A High-Performance Multicore IO Manager Based on libuv (Experience Report)
Dong Han and Tao He
(Beijing Bytedance, China)


@InProceedings{Haskell18p200, author = {Dong Han and Tao He}, title = {A High-Performance Multicore IO Manager Based on libuv (Experience Report)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {200-199}, doi = {10.1145/3242744.3242759}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id9-p doi:10.1145/3242744.3242759

Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
Matthías Páll Gissurarson
(Chalmers University of Technology, Sweden)


@InProceedings{Haskell18p208, author = {Matthías Páll Gissurarson}, title = {Suggesting Valid Hole Fits for Typed-Holes (Experience Report)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {208-207}, doi = {10.1145/3242744.3242760}, year = {2018}, } Publisher's Version Article: icfpws18haskellmain-id14-p doi:10.1145/3242744.3242760

proc time: 0.03