| |
Bärenz, Manuel
|
Haskell '18: "Rhine: FRP with Type-Level ..."
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
|
| |
Blöndal, Baldur |
Haskell '18: "Deriving Via: or, How to Turn ..."
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
|
| |
Breitner, Joachim |
Haskell '18: "Type Variables in Patterns ..."
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
Haskell '18: "Theorem Proving for All: Equational ..."
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
Haskell '18: "A Promise Checked Is a Promise ..."
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
|
| |
De Luca, Guido
|
Haskell '18: "Improving Typeclass Relations ..."
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
|
| |
Devriese, Dominique |
Haskell '18: "Coherent Explicit Dictionary ..."
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
|
| |
Eisenberg, Richard A.
|
Haskell '18: "Type Variables in Patterns ..."
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
Haskell '18: "The Thoralf Plugin: For Your ..."
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
|
| |
Fisher, Kathleen
|
Haskell '18: "Autobahn 2.0: Minimizing Bangs ..."
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
|
| |
Gissurarson, Matthías Páll
|
Haskell '18: "Suggesting Valid Hole Fits ..."
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
|
| |
Han, Dong
|
Haskell '18: "A High-Performance Multicore ..."
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
|
| |
Handley, Martin A. T. |
Haskell '18: "AutoBench: Comparing the Time ..."
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
|
| |
He, Tao |
Haskell '18: "A High-Performance Multicore ..."
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
|
| |
Hughes, John |
Haskell '18: "Branching Processes for QuickCheck ..."
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
|
| |
Hutton, Graham |
Haskell '18: "Theorem Proving for All: Equational ..."
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
Haskell '18: "AutoBench: Comparing the Time ..."
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
|
| |
Jaskelioff, Mauro
|
Haskell '18: "Improving Typeclass Relations ..."
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
|
| |
Kunkel, Rose
|
Haskell '18: "Theorem Proving for All: Equational ..."
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
|
| |
Löh, Andres
|
Haskell '18: "Deriving Via: or, How to Turn ..."
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
|
| |
Martínez, Guido
|
Haskell '18: "Improving Typeclass Relations ..."
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
|
| |
Matsuda, Kazutaka |
Haskell '18: "Embedding Invertible Languages ..."
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
|
| |
Miraldo, Victor Cacciari |
Haskell '18: "Generic Programming of All ..."
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
|
| |
Mista, Agustín |
Haskell '18: "Branching Processes for QuickCheck ..."
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
|
| |
Noonan, Matt
|
Haskell '18: "Ghosts of Departed Proofs ..."
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
|
| |
Otwani, Divesh
|
Haskell '18: "The Thoralf Plugin: For Your ..."
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
|
| |
Perez, Ivan
|
Haskell '18: "Rhine: FRP with Type-Level ..."
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
|
| |
Peyton Jones, Simon |
Haskell '18: "Type Variables in Patterns ..."
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
|
| |
Russo, Alejandro
|
Haskell '18: "Branching Processes for QuickCheck ..."
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
|
| |
Scott, Ryan
|
Haskell '18: "Deriving Via: or, How to Turn ..."
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
|
| |
Serrano, Alejandro |
Haskell '18: "Generic Programming of All ..."
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
|
| |
Sun, Marilyn |
Haskell '18: "Autobahn 2.0: Minimizing Bangs ..."
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
|
| |
Van Horn, David
|
Haskell '18: "Theorem Proving for All: Equational ..."
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
|
| |
Vazou, Niki |
Haskell '18: "Theorem Proving for All: Equational ..."
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
|
| |
Wang, Meng
|
Haskell '18: "Embedding Invertible Languages ..."
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
|
| |
Winant, Thomas |
Haskell '18: "Coherent Explicit Dictionary ..."
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
|