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
Title Page
Article: icfpws18haskellforeword-fm000-p (type: Frontmatter) doi:
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 (type: Full Paper (12 pages + references)) doi:10.1145/3242744.3242747
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
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)
@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 (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)
@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 (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)
@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 (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)
@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 (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)
@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 (type: Full Paper (12 pages + references)) doi:10.1145/3242744.3242754
Pearls
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 (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)
@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 (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)
@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 (type: Full Paper (12 pages + references)) doi:10.1145/3242744.3242758
Experience Reports
proc time: 0.03