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)

Publisher's Version Article: icfpws18haskellmain-id21-p (type: Full Paper (12 pages + references)) doi:10.1145/3242744.3242747

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

Publisher's Version Article: icfpws18haskellmain-id8-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id16-p (type: Full Paper (12 pages + references)) doi:10.1145/3242744.3242749

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

Publisher's Version Article: icfpws18haskellmain-id24-p (type: Short Paper (2 pages + references)) doi:10.1145/3242744.3264734

Generic Programming

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

Publisher's Version Article: icfpws18haskellmain-id6-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id4-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id19-p (type: Full Paper (12 pages + references)) doi:10.1145/3242744.3242751

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

Publisher's Version Article: icfpws18haskellmain-id13-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id15-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id28-p (type: Full Paper (12 pages + references)) doi:10.1145/3242744.3242754

Pearls

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

Publisher's Version Article: icfpws18haskellmain-id18-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id10-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id27-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id26-p (type: Full Paper (12 pages + references)) 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)

Publisher's Version Article: icfpws18haskellmain-id9-p (type: Full Paper (6 pages + references)) doi:10.1145/3242744.3242759

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

Publisher's Version Article: icfpws18haskellmain-id14-p (type: Full Paper (6 pages + references)) doi:10.1145/3242744.3242760

proc time: 0.03