Powered by
11th ACM SIGPLAN International Haskell Symposium (Haskell 2018), September 27-28, 2018,
St. Louis, MO, USA
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
Performance
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
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
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
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
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
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
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
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
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
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
Experience Reports
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
proc time: 0.67